diff -r 6449a0280c54 -r 59458b006d76 Preferences/ConfigurationPages/EditorStylesPage.ui
--- 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>
