--- a/Preferences/ConfigurationPages/EditorStylesPage.py	Sun Apr 07 19:55:21 2019 +0200
+++ b/Preferences/ConfigurationPages/EditorStylesPage.py	Mon Apr 08 19:08:44 2019 +0200
@@ -293,6 +293,11 @@
         self.initColour("IndentationGuidesForeground",
                         self.indentationGuidesForegroundButton,
                         Preferences.getEditorColour)
+        
+        self.initColour("HighlightMarker",
+                        self.highlightingBackgroundButton,
+                        Preferences.getEditorColour,
+                        hasAlpha=True)
     
     def save(self):
         """