Mercurial Repositories > eric / file diff

--- a/Preferences/ConfigurationPages/EditorStylesPage.ui	Mon Apr 17 17:51:31 2017 +0200
+++ b/Preferences/ConfigurationPages/EditorStylesPage.ui	Mon Apr 17 18:38:58 2017 +0200
@@ -6,8 +6,8 @@
    <rect>
     <x>0</x>
     <y>0</y>
-    <width>625</width>
-    <height>2312</height>
+    <width>655</width>
+    <height>2500</height>
    </rect>
   </property>
   <layout class="QVBoxLayout" name="verticalLayout_8">
@@ -705,61 +705,6 @@
     </widget>
    </item>
    <item>
-    <widget class="QGroupBox" name="groupBox_2">
-     <property name="title">
-      <string>Debugging Line Markers</string>
-     </property>
-     <layout class="QHBoxLayout" name="_8">
-      <item>
-       <widget class="QLabel" name="TextLabel3_2_2">
-        <property name="text">
-         <string>Current line marker:</string>
-        </property>
-       </widget>
-      </item>
-      <item>
-       <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>
-       <widget class="QLabel" name="TextLabel4_2_2">
-        <property name="text">
-         <string>Error line marker:</string>
-        </property>
-       </widget>
-      </item>
-      <item>
-       <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>
@@ -1915,8 +1860,6 @@
   <tabstop>caretWidthSpinBox</tabstop>
   <tabstop>caretForegroundButton</tabstop>
   <tabstop>caretlineBackgroundButton</tabstop>
-  <tabstop>currentLineMarkerButton</tabstop>
-  <tabstop>errorMarkerButton</tabstop>
   <tabstop>bracehighlightingCheckBox</tabstop>
   <tabstop>matchingBracesButton</tabstop>
   <tabstop>matchingBracesBackButton</tabstop>