diff -r e9e7eca7efee -r bf71ee032bb4 src/eric7/Preferences/ConfigurationPages/EditorSearchPage.py
--- a/src/eric7/Preferences/ConfigurationPages/EditorSearchPage.py Wed Jul 13 11:16:20 2022 +0200
+++ b/src/eric7/Preferences/ConfigurationPages/EditorSearchPage.py Wed Jul 13 14:55:47 2022 +0200
@@ -17,6 +17,7 @@
"""
Class implementing the Editor Search configuration page.
"""
+
def __init__(self):
"""
Constructor
@@ -24,58 +25,65 @@
super().__init__()
self.setupUi(self)
self.setObjectName("EditorSearchPage")
-
+
self.editorColours = {}
-
+
# set initial values
self.searchMarkersEnabledCheckBox.setChecked(
- Preferences.getEditor("SearchMarkersEnabled"))
+ Preferences.getEditor("SearchMarkersEnabled")
+ )
self.quicksearchMarkersEnabledCheckBox.setChecked(
- Preferences.getEditor("QuickSearchMarkersEnabled"))
+ Preferences.getEditor("QuickSearchMarkersEnabled")
+ )
self.occurrencesMarkersEnabledCheckBox.setChecked(
- Preferences.getEditor("MarkOccurrencesEnabled"))
-
+ Preferences.getEditor("MarkOccurrencesEnabled")
+ )
+
self.markOccurrencesTimeoutSpinBox.setValue(
- Preferences.getEditor("MarkOccurrencesTimeout"))
-
+ Preferences.getEditor("MarkOccurrencesTimeout")
+ )
+
if Preferences.getEditor("SearchRegexpMode") == 0:
self.regexpPosixButton.setChecked(True)
else:
self.regexpCxx11Button.setChecked(True)
-
+
self.initColour(
- "SearchMarkers", self.searchMarkerButton,
- Preferences.getEditorColour, hasAlpha=True)
-
+ "SearchMarkers",
+ self.searchMarkerButton,
+ Preferences.getEditorColour,
+ hasAlpha=True,
+ )
+
def save(self):
"""
Public slot to save the Editor Search configuration.
"""
Preferences.setEditor(
- "SearchMarkersEnabled",
- self.searchMarkersEnabledCheckBox.isChecked())
+ "SearchMarkersEnabled", self.searchMarkersEnabledCheckBox.isChecked()
+ )
Preferences.setEditor(
"QuickSearchMarkersEnabled",
- self.quicksearchMarkersEnabledCheckBox.isChecked())
+ self.quicksearchMarkersEnabledCheckBox.isChecked(),
+ )
Preferences.setEditor(
- "MarkOccurrencesEnabled",
- self.occurrencesMarkersEnabledCheckBox.isChecked())
-
+ "MarkOccurrencesEnabled", self.occurrencesMarkersEnabledCheckBox.isChecked()
+ )
+
Preferences.setEditor(
- "MarkOccurrencesTimeout",
- self.markOccurrencesTimeoutSpinBox.value())
-
+ "MarkOccurrencesTimeout", self.markOccurrencesTimeoutSpinBox.value()
+ )
+
mode = 0 if self.regexpPosixButton.isChecked() else 1
- Preferences.setEditor(
- "SearchRegexpMode", mode)
-
+ Preferences.setEditor("SearchRegexpMode", mode)
+
self.saveColours(Preferences.setEditorColour)
def create(dlg):
"""
Module function to create the configuration page.
-
+
@param dlg reference to the configuration dialog
@return reference to the instantiated page (ConfigurationPageBase)
"""
