diff -r 3fc8dfeb6ebe -r b99e7fd55fd3 src/eric7/Preferences/ConfigurationPages/EditorSearchPage.py
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/src/eric7/Preferences/ConfigurationPages/EditorSearchPage.py Thu Jul 07 11:23:56 2022 +0200
@@ -0,0 +1,83 @@
+# -*- coding: utf-8 -*-
+
+# Copyright (c) 2008 - 2022 Detlev Offenbach <detlev@die-offenbachs.de>
+#
+
+"""
+Module implementing the Editor Search configuration page.
+"""
+
+from .ConfigurationPageBase import ConfigurationPageBase
+from .Ui_EditorSearchPage import Ui_EditorSearchPage
+
+import Preferences
+
+
+class EditorSearchPage(ConfigurationPageBase, Ui_EditorSearchPage):
+ """
+ Class implementing the Editor Search configuration page.
+ """
+ def __init__(self):
+ """
+ Constructor
+ """
+ super().__init__()
+ self.setupUi(self)
+ self.setObjectName("EditorSearchPage")
+
+ self.editorColours = {}
+
+ # set initial values
+ self.searchMarkersEnabledCheckBox.setChecked(
+ Preferences.getEditor("SearchMarkersEnabled"))
+ self.quicksearchMarkersEnabledCheckBox.setChecked(
+ Preferences.getEditor("QuickSearchMarkersEnabled"))
+ self.occurrencesMarkersEnabledCheckBox.setChecked(
+ Preferences.getEditor("MarkOccurrencesEnabled"))
+
+ self.markOccurrencesTimeoutSpinBox.setValue(
+ 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)
+
+ def save(self):
+ """
+ Public slot to save the Editor Search configuration.
+ """
+ Preferences.setEditor(
+ "SearchMarkersEnabled",
+ self.searchMarkersEnabledCheckBox.isChecked())
+ Preferences.setEditor(
+ "QuickSearchMarkersEnabled",
+ self.quicksearchMarkersEnabledCheckBox.isChecked())
+ Preferences.setEditor(
+ "MarkOccurrencesEnabled",
+ self.occurrencesMarkersEnabledCheckBox.isChecked())
+
+ Preferences.setEditor(
+ "MarkOccurrencesTimeout",
+ self.markOccurrencesTimeoutSpinBox.value())
+
+ mode = 0 if self.regexpPosixButton.isChecked() else 1
+ 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)
+ """
+ page = EditorSearchPage()
+ return page
