Mercurial Repositories > eric / file diff

diff -r 4d82d809e816 -r e6e01a10c3a1 src/eric7/Preferences/ConfigurationPages/EditorSearchPage.py
--- a/src/eric7/Preferences/ConfigurationPages/EditorSearchPage.py	Thu Mar 23 20:51:13 2023 +0100
+++ b/src/eric7/Preferences/ConfigurationPages/EditorSearchPage.py	Sat Mar 25 17:39:59 2023 +0100
@@ -29,6 +29,7 @@
         self.editorColours = {}
 
         # set initial values
+        self.quicksearchCheckBox.setChecked(Preferences.getEditor("QuickSearchEnabled"))
         self.searchMarkersEnabledCheckBox.setChecked(
             Preferences.getEditor("SearchMarkersEnabled")
         )
@@ -60,6 +61,9 @@
         Public slot to save the Editor Search configuration.
         """
         Preferences.setEditor(
+            "QuickSearchEnabled", self.quicksearchCheckBox.isChecked()
+        )
+        Preferences.setEditor(
             "SearchMarkersEnabled", self.searchMarkersEnabledCheckBox.isChecked()
         )
         Preferences.setEditor(