diff -r 000000000000 -r de9c2efb9d02 Preferences/ConfigurationPages/EditorSearchPage.ui
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/Preferences/ConfigurationPages/EditorSearchPage.ui Mon Dec 28 16:03:33 2009 +0000
@@ -0,0 +1,188 @@
+<ui version="4.0" >
+ <class>EditorSearchPage</class>
+ <widget class="QWidget" name="EditorSearchPage" >
+ <property name="geometry" >
+ <rect>
+ <x>0</x>
+ <y>0</y>
+ <width>576</width>
+ <height>596</height>
+ </rect>
+ </property>
+ <layout class="QVBoxLayout" >
+ <item>
+ <widget class="QLabel" name="headerLabel" >
+ <property name="text" >
+ <string><b>Configure editor search options</b></string>
+ </property>
+ </widget>
+ </item>
+ <item>
+ <widget class="Line" name="line3" >
+ <property name="frameShape" >
+ <enum>QFrame::HLine</enum>
+ </property>
+ <property name="frameShadow" >
+ <enum>QFrame::Sunken</enum>
+ </property>
+ <property name="orientation" >
+ <enum>Qt::Horizontal</enum>
+ </property>
+ </widget>
+ </item>
+ <item>
+ <widget class="QGroupBox" name="groupBox_4" >
+ <property name="title" >
+ <string>Search Markers</string>
+ </property>
+ <layout class="QVBoxLayout" >
+ <item>
+ <widget class="QCheckBox" name="occurrencesMarkersEnabledCheckBox" >
+ <property name="toolTip" >
+ <string>Select, whether markers for all occurrences of the current word shall be shown</string>
+ </property>
+ <property name="text" >
+ <string>Highlight all occurrences of current word</string>
+ </property>
+ </widget>
+ </item>
+ <item>
+ <widget class="QCheckBox" name="searchMarkersEnabledCheckBox" >
+ <property name="toolTip" >
+ <string>Select, whether search markers shall be shown for a standard search</string>
+ </property>
+ <property name="text" >
+ <string>Highlight all occurrences of search text</string>
+ </property>
+ </widget>
+ </item>
+ <item>
+ <widget class="QCheckBox" name="quicksearchMarkersEnabledCheckBox" >
+ <property name="toolTip" >
+ <string>Select, whether search markers shall be shown for a quicksearch</string>
+ </property>
+ <property name="text" >
+ <string>Highlight all occurrences of quicksearch text</string>
+ </property>
+ </widget>
+ </item>
+ <item>
+ <layout class="QHBoxLayout" >
+ <item>
+ <widget class="QLabel" name="label" >
+ <property name="text" >
+ <string>Timeout for current word highlighting:</string>
+ </property>
+ </widget>
+ </item>
+ <item>
+ <widget class="QSpinBox" name="markOccurrencesTimeoutSpinBox" >
+ <property name="toolTip" >
+ <string>Enter the time in milliseconds after which occurrences of the current word shall be highlighted</string>
+ </property>
+ <property name="alignment" >
+ <set>Qt::AlignRight|Qt::AlignTrailing|Qt::AlignVCenter</set>
+ </property>
+ <property name="buttonSymbols" >
+ <enum>QAbstractSpinBox::PlusMinus</enum>
+ </property>
+ <property name="correctionMode" >
+ <enum>QAbstractSpinBox::CorrectToNearestValue</enum>
+ </property>
+ <property name="suffix" >
+ <string> ms</string>
+ </property>
+ <property name="minimum" >
+ <number>100</number>
+ </property>
+ <property name="maximum" >
+ <number>5000</number>
+ </property>
+ <property name="singleStep" >
+ <number>100</number>
+ </property>
+ </widget>
+ </item>
+ <item>
+ <spacer>
+ <property name="orientation" >
+ <enum>Qt::Horizontal</enum>
+ </property>
+ <property name="sizeHint" stdset="0" >
+ <size>
+ <width>40</width>
+ <height>20</height>
+ </size>
+ </property>
+ </spacer>
+ </item>
+ </layout>
+ </item>
+ <item>
+ <layout class="QHBoxLayout" >
+ <item>
+ <widget class="QLabel" name="TextLabel2_2_2_2_2_2" >
+ <property name="text" >
+ <string>Marker Colour:</string>
+ </property>
+ </widget>
+ </item>
+ <item>
+ <widget class="QPushButton" name="searchMarkerButton" >
+ <property name="minimumSize" >
+ <size>
+ <width>100</width>
+ <height>0</height>
+ </size>
+ </property>
+ <property name="toolTip" >
+ <string>Select the colour for the search markers.</string>
+ </property>
+ <property name="text" >
+ <string/>
+ </property>
+ </widget>
+ </item>
+ <item>
+ <spacer>
+ <property name="orientation" >
+ <enum>Qt::Horizontal</enum>
+ </property>
+ <property name="sizeHint" stdset="0" >
+ <size>
+ <width>40</width>
+ <height>20</height>
+ </size>
+ </property>
+ </spacer>
+ </item>
+ </layout>
+ </item>
+ </layout>
+ </widget>
+ </item>
+ <item>
+ <spacer>
+ <property name="orientation" >
+ <enum>Qt::Vertical</enum>
+ </property>
+ <property name="sizeHint" stdset="0" >
+ <size>
+ <width>558</width>
+ <height>231</height>
+ </size>
+ </property>
+ </spacer>
+ </item>
+ </layout>
+ </widget>
+ <tabstops>
+ <tabstop>occurrencesMarkersEnabledCheckBox</tabstop>
+ <tabstop>searchMarkersEnabledCheckBox</tabstop>
+ <tabstop>quicksearchMarkersEnabledCheckBox</tabstop>
+ <tabstop>markOccurrencesTimeoutSpinBox</tabstop>
+ <tabstop>searchMarkerButton</tabstop>
+ </tabstops>
+ <resources/>
+ <connections/>
+</ui>
