src/eric7/Preferences/ConfigurationPages/EditorSearchPage.py

branch
eric7
changeset 9938
b8005dd4fc9b
parent 9931
e6e01a10c3a1
child 10069
435cc5875135
--- a/src/eric7/Preferences/ConfigurationPages/EditorSearchPage.py	Mon Mar 27 22:05:05 2023 +0200
+++ b/src/eric7/Preferences/ConfigurationPages/EditorSearchPage.py	Tue Mar 28 10:14:23 2023 +0200
@@ -55,6 +55,12 @@
             Preferences.getEditorColour,
             hasAlpha=True,
         )
+        self.initColour(
+            "SearchSelectionMarker",
+            self.highlightingBackgroundButton,
+            Preferences.getEditorColour,
+            hasAlpha=True,
+        )
 
     def save(self):
         """

eric ide

mercurial