Preferences/ConfigurationPages/EditorStylesPage.ui

changeset 4304
f85965649066
parent 4176
4c09d3d75768
child 5416
16366120b523
--- a/Preferences/ConfigurationPages/EditorStylesPage.ui	Wed Jul 01 19:34:51 2015 +0200
+++ b/Preferences/ConfigurationPages/EditorStylesPage.ui	Fri Jul 03 19:07:06 2015 +0200
@@ -6,8 +6,8 @@
    <rect>
     <x>0</x>
     <y>0</y>
-    <width>591</width>
-    <height>2146</height>
+    <width>625</width>
+    <height>2312</height>
    </rect>
   </property>
   <layout class="QVBoxLayout" name="verticalLayout_7">
@@ -1796,13 +1796,36 @@
        </widget>
       </item>
       <item row="4" column="0">
+       <widget class="QLabel" name="label_15">
+        <property name="text">
+         <string>Search Markers:</string>
+        </property>
+       </widget>
+      </item>
+      <item row="4" column="1">
+       <widget class="QPushButton" name="searchMarkerMapButton">
+        <property name="minimumSize">
+         <size>
+          <width>100</width>
+          <height>0</height>
+         </size>
+        </property>
+        <property name="toolTip">
+         <string>Select the colour for the search marker</string>
+        </property>
+        <property name="text">
+         <string/>
+        </property>
+       </widget>
+      </item>
+      <item row="5" column="0">
        <widget class="QLabel" name="label_14">
         <property name="text">
          <string>Background:</string>
         </property>
        </widget>
       </item>
-      <item row="4" column="1">
+      <item row="5" column="1">
        <widget class="QPushButton" name="markerMapBackgroundButton">
         <property name="minimumSize">
          <size>
@@ -1922,6 +1945,7 @@
   <tabstop>changesMapButton</tabstop>
   <tabstop>coverageMapButton</tabstop>
   <tabstop>currentMapButton</tabstop>
+  <tabstop>searchMarkerMapButton</tabstop>
   <tabstop>markerMapBackgroundButton</tabstop>
   <tabstop>miniMenuCheckBox</tabstop>
  </tabstops>

eric ide

mercurial