Mercurial Repositories > eric / file diff

--- a/src/eric7/Preferences/ConfigurationPages/EditorSearchPage.ui	Wed Dec 20 14:58:58 2023 +0100
+++ b/src/eric7/Preferences/ConfigurationPages/EditorSearchPage.ui	Wed Dec 20 15:42:44 2023 +0100
@@ -7,10 +7,10 @@
     <x>0</x>
     <y>0</y>
     <width>576</width>
-    <height>498</height>
+    <height>554</height>
    </rect>
   </property>
-  <layout class="QVBoxLayout" name="verticalLayout_2">
+  <layout class="QVBoxLayout" name="verticalLayout_3">
    <item>
     <widget class="QLabel" name="headerLabel">
      <property name="text">
@@ -32,13 +32,87 @@
     </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>
+    <widget class="QGroupBox" name="groupBox">
+     <property name="title">
+      <string>Quicksearch</string>
      </property>
-     <property name="text">
-      <string>Enable Quicksearch</string>
-     </property>
+     <layout class="QVBoxLayout" name="verticalLayout_2">
+      <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="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>
+        <property name="text">
+         <string>Highlight all occurrences of quicksearch text</string>
+        </property>
+       </widget>
+      </item>
+      <item>
+       <layout class="QHBoxLayout" name="horizontalLayout">
+        <item>
+         <widget class="QLabel" name="label_2">
+          <property name="text">
+           <string>Timeout for quicksearch highlighting:</string>
+          </property>
+         </widget>
+        </item>
+        <item>
+         <widget class="QSpinBox" name="quicksearchMarkOccurrencesTimeoutSpinBox">
+          <property name="toolTip">
+           <string>Enter the time in milliseconds after which occurrences of the current search text 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 name="horizontalSpacer">
+          <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>
@@ -68,19 +142,6 @@
        </widget>
       </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>
-        <property name="text">
-         <string>Highlight all occurrences of quicksearch text</string>
-        </property>
-       </widget>
-      </item>
-      <item>
        <layout class="QHBoxLayout">
         <item>
          <widget class="QLabel" name="label">
@@ -267,13 +328,15 @@
  </widget>
  <tabstops>
   <tabstop>quicksearchCheckBox</tabstop>
+  <tabstop>quicksearchMarkersEnabledCheckBox</tabstop>
+  <tabstop>quicksearchMarkOccurrencesTimeoutSpinBox</tabstop>
   <tabstop>occurrencesMarkersEnabledCheckBox</tabstop>
   <tabstop>searchMarkersEnabledCheckBox</tabstop>
-  <tabstop>quicksearchMarkersEnabledCheckBox</tabstop>
   <tabstop>markOccurrencesTimeoutSpinBox</tabstop>
   <tabstop>searchMarkerButton</tabstop>
   <tabstop>regexpPosixButton</tabstop>
   <tabstop>regexpCxx11Button</tabstop>
+  <tabstop>highlightingBackgroundButton</tabstop>
  </tabstops>
  <resources/>
  <connections>
@@ -284,12 +347,12 @@
    <slot>setEnabled(bool)</slot>
    <hints>
     <hint type="sourcelabel">
-     <x>87</x>
-     <y>53</y>
+     <x>108</x>
+     <y>95</y>
     </hint>
     <hint type="destinationlabel">
-     <x>106</x>
-     <y>178</y>
+     <x>127</x>
+     <y>260</y>
     </hint>
    </hints>
   </connection>