--- a/src/eric7/Preferences/ConfigurationPages/EditorSearchPage.ui Thu Mar 23 20:51:13 2023 +0100 +++ b/src/eric7/Preferences/ConfigurationPages/EditorSearchPage.ui Sat Mar 25 17:39:59 2023 +0100 @@ -7,7 +7,7 @@ <x>0</x> <y>0</y> <width>576</width> - <height>393</height> + <height>498</height> </rect> </property> <layout class="QVBoxLayout" name="verticalLayout_2"> @@ -32,6 +32,16 @@ </widget> </item> <item> + <widget class="QCheckBox" name="quicksearchCheckBox"> + <property name="toolTip"> + <string>Select to perform a search while entering the text to search for.</string> + </property> + <property name="text"> + <string>Enable Quicksearch</string> + </property> + </widget> + </item> + <item> <widget class="QGroupBox" name="groupBox_4"> <property name="title"> <string>Search Markers</string> @@ -59,6 +69,9 @@ </item> <item> <widget class="QCheckBox" name="quicksearchMarkersEnabledCheckBox"> + <property name="enabled"> + <bool>false</bool> + </property> <property name="toolTip"> <string>Select, whether search markers shall be shown for a quicksearch</string> </property> @@ -210,12 +223,32 @@ </layout> </widget> <tabstops> + <tabstop>quicksearchCheckBox</tabstop> <tabstop>occurrencesMarkersEnabledCheckBox</tabstop> <tabstop>searchMarkersEnabledCheckBox</tabstop> <tabstop>quicksearchMarkersEnabledCheckBox</tabstop> <tabstop>markOccurrencesTimeoutSpinBox</tabstop> <tabstop>searchMarkerButton</tabstop> + <tabstop>regexpPosixButton</tabstop> + <tabstop>regexpCxx11Button</tabstop> </tabstops> <resources/> - <connections/> + <connections> + <connection> + <sender>quicksearchCheckBox</sender> + <signal>toggled(bool)</signal> + <receiver>quicksearchMarkersEnabledCheckBox</receiver> + <slot>setEnabled(bool)</slot> + <hints> + <hint type="sourcelabel"> + <x>87</x> + <y>53</y> + </hint> + <hint type="destinationlabel"> + <x>106</x> + <y>178</y> + </hint> + </hints> + </connection> + </connections> </ui>