src/eric7/Preferences/__init__.py

branch
eric7
changeset 9938
b8005dd4fc9b
parent 9931
e6e01a10c3a1
child 9958
a78b83d1062a
--- a/src/eric7/Preferences/__init__.py	Mon Mar 27 22:05:05 2023 +0200
+++ b/src/eric7/Preferences/__init__.py	Tue Mar 28 10:14:23 2023 +0200
@@ -766,7 +766,8 @@
         "OnlineChangeTraceMarkerSaved": QColor("#88ff88"),
         "IndentationGuidesBackground": QColor(Qt.GlobalColor.white),
         "IndentationGuidesForeground": QColor(Qt.GlobalColor.black),
-        "HighlightMarker": QColor("#200000FF"),  # ARGB format
+        "HighlightMarker": QColor("#300000FF"),  # ARGB format
+        "SearchSelectionMarker": QColor("#30bbff00"),  # ARGB format
         # colors for the marker map
         "BookmarksMap": QColor("#f8c700"),
         "ErrorsMap": QColor("#dd0000"),

eric ide

mercurial