--- a/Preferences/__init__.py	Sun Apr 07 19:55:21 2019 +0200
+++ b/Preferences/__init__.py	Mon Apr 08 19:08:44 2019 +0200
@@ -677,6 +677,7 @@
         "OnlineChangeTraceMarkerSaved": QColor("#88ff88"),
         "IndentationGuidesBackground": QColor(Qt.white),
         "IndentationGuidesForeground": QColor(Qt.black),
+        "HighlightMarker": QColor("#200000FF"),     # ARGB format
         # colors for the marker map
         "BookmarksMap": QColor("#f8c700"),
         "ErrorsMap": QColor("#dd0000"),