diff -r 57b5de82ce05 -r f85965649066 Preferences/ConfigurationPages/EditorStylesPage.ui
--- 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>
