Preferences/ConfigurationPages/EditorStylesPage.py

changeset 6932
8a3df4c6ac9a
parent 6843
5e1afd1577b9
diff -r faac36ec9d76 -r 8a3df4c6ac9a Preferences/ConfigurationPages/EditorStylesPage.py
--- 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):
         """

eric ide

mercurial