Preferences/ConfigurationPages/EditorStylesPage.ui

changeset 6648
c09e6c6006eb
parent 6299
feb3cf2cbde3
child 6842
c83dcb7c6147
--- a/Preferences/ConfigurationPages/EditorStylesPage.ui	Thu Jan 10 14:18:48 2019 +0100
+++ b/Preferences/ConfigurationPages/EditorStylesPage.ui	Thu Jan 10 18:01:19 2019 +0100
@@ -7,7 +7,7 @@
     <x>0</x>
     <y>0</y>
     <width>655</width>
-    <height>2650</height>
+    <height>2772</height>
    </rect>
   </property>
   <layout class="QVBoxLayout" name="verticalLayout_9">
@@ -1887,6 +1887,55 @@
         </layout>
        </widget>
       </item>
+      <item>
+       <widget class="QGroupBox" name="groupBox_17">
+        <property name="title">
+         <string>Shown Markers</string>
+        </property>
+        <layout class="QGridLayout" name="gridLayout_11">
+         <item row="0" column="0">
+          <widget class="QCheckBox" name="changesMarkerCheckBox">
+           <property name="toolTip">
+            <string>Select to show change markers</string>
+           </property>
+           <property name="text">
+            <string>Changes</string>
+           </property>
+          </widget>
+         </item>
+         <item row="0" column="1">
+          <widget class="QCheckBox" name="coverageMarkerCheckBox">
+           <property name="toolTip">
+            <string>Select to show coverage markers</string>
+           </property>
+           <property name="text">
+            <string>Coverage</string>
+           </property>
+          </widget>
+         </item>
+         <item row="1" column="0">
+          <widget class="QCheckBox" name="searchMarkerCheckBox">
+           <property name="toolTip">
+            <string>Select to show search markers</string>
+           </property>
+           <property name="text">
+            <string>Search Markers</string>
+           </property>
+          </widget>
+         </item>
+         <item row="2" column="0" colspan="2">
+          <widget class="QLabel" name="label_17">
+           <property name="text">
+            <string>&lt;b&gt;Note&lt;/b&gt;: Marker types not listed are always shown.</string>
+           </property>
+           <property name="wordWrap">
+            <bool>true</bool>
+           </property>
+          </widget>
+         </item>
+        </layout>
+       </widget>
+      </item>
      </layout>
     </widget>
    </item>
@@ -2005,6 +2054,9 @@
   <tabstop>searchMarkerMapButton</tabstop>
   <tabstop>conflictMarkerMapButton</tabstop>
   <tabstop>markerMapBackgroundButton</tabstop>
+  <tabstop>changesMarkerCheckBox</tabstop>
+  <tabstop>coverageMarkerCheckBox</tabstop>
+  <tabstop>searchMarkerCheckBox</tabstop>
   <tabstop>miniMenuCheckBox</tabstop>
   <tabstop>hideFormatButtonsCheckBox</tabstop>
  </tabstops>

eric ide

mercurial