--- 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"),