src/eric7/Preferences/ConfigurationPages/EditorSearchPage.ui

branch
eric7
changeset 9931
e6e01a10c3a1
parent 9209
b99e7fd55fd3
child 9938
b8005dd4fc9b
equal deleted inserted replaced
9930:4d82d809e816 9931:e6e01a10c3a1
5 <property name="geometry"> 5 <property name="geometry">
6 <rect> 6 <rect>
7 <x>0</x> 7 <x>0</x>
8 <y>0</y> 8 <y>0</y>
9 <width>576</width> 9 <width>576</width>
10 <height>393</height> 10 <height>498</height>
11 </rect> 11 </rect>
12 </property> 12 </property>
13 <layout class="QVBoxLayout" name="verticalLayout_2"> 13 <layout class="QVBoxLayout" name="verticalLayout_2">
14 <item> 14 <item>
15 <widget class="QLabel" name="headerLabel"> 15 <widget class="QLabel" name="headerLabel">
30 <enum>Qt::Horizontal</enum> 30 <enum>Qt::Horizontal</enum>
31 </property> 31 </property>
32 </widget> 32 </widget>
33 </item> 33 </item>
34 <item> 34 <item>
35 <widget class="QCheckBox" name="quicksearchCheckBox">
36 <property name="toolTip">
37 <string>Select to perform a search while entering the text to search for.</string>
38 </property>
39 <property name="text">
40 <string>Enable Quicksearch</string>
41 </property>
42 </widget>
43 </item>
44 <item>
35 <widget class="QGroupBox" name="groupBox_4"> 45 <widget class="QGroupBox" name="groupBox_4">
36 <property name="title"> 46 <property name="title">
37 <string>Search Markers</string> 47 <string>Search Markers</string>
38 </property> 48 </property>
39 <layout class="QVBoxLayout"> 49 <layout class="QVBoxLayout">
57 </property> 67 </property>
58 </widget> 68 </widget>
59 </item> 69 </item>
60 <item> 70 <item>
61 <widget class="QCheckBox" name="quicksearchMarkersEnabledCheckBox"> 71 <widget class="QCheckBox" name="quicksearchMarkersEnabledCheckBox">
72 <property name="enabled">
73 <bool>false</bool>
74 </property>
62 <property name="toolTip"> 75 <property name="toolTip">
63 <string>Select, whether search markers shall be shown for a quicksearch</string> 76 <string>Select, whether search markers shall be shown for a quicksearch</string>
64 </property> 77 </property>
65 <property name="text"> 78 <property name="text">
66 <string>Highlight all occurrences of quicksearch text</string> 79 <string>Highlight all occurrences of quicksearch text</string>
208 </spacer> 221 </spacer>
209 </item> 222 </item>
210 </layout> 223 </layout>
211 </widget> 224 </widget>
212 <tabstops> 225 <tabstops>
226 <tabstop>quicksearchCheckBox</tabstop>
213 <tabstop>occurrencesMarkersEnabledCheckBox</tabstop> 227 <tabstop>occurrencesMarkersEnabledCheckBox</tabstop>
214 <tabstop>searchMarkersEnabledCheckBox</tabstop> 228 <tabstop>searchMarkersEnabledCheckBox</tabstop>
215 <tabstop>quicksearchMarkersEnabledCheckBox</tabstop> 229 <tabstop>quicksearchMarkersEnabledCheckBox</tabstop>
216 <tabstop>markOccurrencesTimeoutSpinBox</tabstop> 230 <tabstop>markOccurrencesTimeoutSpinBox</tabstop>
217 <tabstop>searchMarkerButton</tabstop> 231 <tabstop>searchMarkerButton</tabstop>
232 <tabstop>regexpPosixButton</tabstop>
233 <tabstop>regexpCxx11Button</tabstop>
218 </tabstops> 234 </tabstops>
219 <resources/> 235 <resources/>
220 <connections/> 236 <connections>
237 <connection>
238 <sender>quicksearchCheckBox</sender>
239 <signal>toggled(bool)</signal>
240 <receiver>quicksearchMarkersEnabledCheckBox</receiver>
241 <slot>setEnabled(bool)</slot>
242 <hints>
243 <hint type="sourcelabel">
244 <x>87</x>
245 <y>53</y>
246 </hint>
247 <hint type="destinationlabel">
248 <x>106</x>
249 <y>178</y>
250 </hint>
251 </hints>
252 </connection>
253 </connections>
221 </ui> 254 </ui>

eric ide

mercurial