Mercurial Repositories > eric / file diff

--- a/Preferences/ConfigurationPages/EditorStylesPage.ui	Sat May 06 14:59:26 2017 +0200
+++ b/Preferences/ConfigurationPages/EditorStylesPage.ui	Thu May 11 18:26:56 2017 +0200
@@ -7,7 +7,7 @@
     <x>0</x>
     <y>0</y>
     <width>655</width>
-    <height>2500</height>
+    <height>2530</height>
    </rect>
   </property>
   <layout class="QVBoxLayout" name="verticalLayout_8">
@@ -705,6 +705,71 @@
     </widget>
    </item>
    <item>
+    <widget class="QGroupBox" name="groupBox_2">
+     <property name="title">
+      <string>Debugging Line Markers</string>
+     </property>
+     <layout class="QGridLayout" name="gridLayout_10">
+      <item row="0" column="0" colspan="4">
+       <widget class="QCheckBox" name="debugMarkerBackgroundCheckBox">
+        <property name="toolTip">
+         <string>Select to indicate the debug markers using coloured line backgrounds, arrow indicators otherwise</string>
+        </property>
+        <property name="text">
+         <string>Use background colours</string>
+        </property>
+       </widget>
+      </item>
+      <item row="1" column="0">
+       <widget class="QLabel" name="TextLabel3_2_2">
+        <property name="text">
+         <string>Current line marker:</string>
+        </property>
+       </widget>
+      </item>
+      <item row="1" column="1">
+       <widget class="QPushButton" name="currentLineMarkerButton">
+        <property name="minimumSize">
+         <size>
+          <width>100</width>
+          <height>0</height>
+         </size>
+        </property>
+        <property name="toolTip">
+         <string>Select the colour for the current line marker.</string>
+        </property>
+        <property name="text">
+         <string/>
+        </property>
+       </widget>
+      </item>
+      <item row="1" column="2">
+       <widget class="QLabel" name="TextLabel4_2_2">
+        <property name="text">
+         <string>Error line marker:</string>
+        </property>
+       </widget>
+      </item>
+      <item row="1" column="3">
+       <widget class="QPushButton" name="errorMarkerButton">
+        <property name="minimumSize">
+         <size>
+          <width>100</width>
+          <height>0</height>
+         </size>
+        </property>
+        <property name="toolTip">
+         <string>Select the colour for the error line marker.</string>
+        </property>
+        <property name="text">
+         <string/>
+        </property>
+       </widget>
+      </item>
+     </layout>
+    </widget>
+   </item>
+   <item>
     <widget class="QGroupBox" name="groupBox_6">
      <property name="title">
       <string>Braces</string>
@@ -1860,6 +1925,9 @@
   <tabstop>caretWidthSpinBox</tabstop>
   <tabstop>caretForegroundButton</tabstop>
   <tabstop>caretlineBackgroundButton</tabstop>
+  <tabstop>debugMarkerBackgroundCheckBox</tabstop>
+  <tabstop>currentLineMarkerButton</tabstop>
+  <tabstop>errorMarkerButton</tabstop>
   <tabstop>bracehighlightingCheckBox</tabstop>
   <tabstop>matchingBracesButton</tabstop>
   <tabstop>matchingBracesBackButton</tabstop>
@@ -1901,6 +1969,7 @@
   <tabstop>searchMarkerMapButton</tabstop>
   <tabstop>markerMapBackgroundButton</tabstop>
   <tabstop>miniMenuCheckBox</tabstop>
+  <tabstop>hideFormatButtonsCheckBox</tabstop>
  </tabstops>
  <resources/>
  <connections>