Mercurial Repositories > eric / file diff

--- a/src/eric7/Preferences/ConfigurationPages/EditorSearchPage.py	Wed Dec 20 14:58:58 2023 +0100
+++ b/src/eric7/Preferences/ConfigurationPages/EditorSearchPage.py	Wed Dec 20 15:42:44 2023 +0100
@@ -29,17 +29,22 @@
         self.editorColours = {}
 
         # set initial values
+        # Quicksearch
         self.quicksearchCheckBox.setChecked(Preferences.getEditor("QuickSearchEnabled"))
+        self.quicksearchMarkersEnabledCheckBox.setChecked(
+            Preferences.getEditor("QuickSearchMarkersEnabled")
+        )
+        self.quicksearchMarkOccurrencesTimeoutSpinBox.setValue(
+            Preferences.getEditor("QuickSearchMarkOccurrencesTimeout")
+        )
+
+        # Search markers
         self.searchMarkersEnabledCheckBox.setChecked(
             Preferences.getEditor("SearchMarkersEnabled")
         )
-        self.quicksearchMarkersEnabledCheckBox.setChecked(
-            Preferences.getEditor("QuickSearchMarkersEnabled")
-        )
         self.occurrencesMarkersEnabledCheckBox.setChecked(
             Preferences.getEditor("MarkOccurrencesEnabled")
         )
-
         self.markOccurrencesTimeoutSpinBox.setValue(
             Preferences.getEditor("MarkOccurrencesTimeout")
         )
@@ -81,20 +86,26 @@
         """
         Public slot to save the Editor Search configuration.
         """
+        # Quicksearch
         Preferences.setEditor(
             "QuickSearchEnabled", self.quicksearchCheckBox.isChecked()
         )
         Preferences.setEditor(
-            "SearchMarkersEnabled", self.searchMarkersEnabledCheckBox.isChecked()
-        )
-        Preferences.setEditor(
             "QuickSearchMarkersEnabled",
             self.quicksearchMarkersEnabledCheckBox.isChecked(),
         )
         Preferences.setEditor(
+            "QuickSearchMarkOccurrencesTimeout",
+            self.quicksearchMarkOccurrencesTimeoutSpinBox.value(),
+        )
+
+        # Search markers
+        Preferences.setEditor(
+            "SearchMarkersEnabled", self.searchMarkersEnabledCheckBox.isChecked()
+        )
+        Preferences.setEditor(
             "MarkOccurrencesEnabled", self.occurrencesMarkersEnabledCheckBox.isChecked()
         )
-
         Preferences.setEditor(
             "MarkOccurrencesTimeout", self.markOccurrencesTimeoutSpinBox.value()
         )