Preferences/ConfigurationPages/EditorStylesPage.py

changeset 5706
59458b006d76
parent 5416
16366120b523
child 5733
aed3e558407f
--- a/Preferences/ConfigurationPages/EditorStylesPage.py	Mon Apr 17 17:51:31 2017 +0200
+++ b/Preferences/ConfigurationPages/EditorStylesPage.py	Mon Apr 17 18:38:58 2017 +0200
@@ -117,10 +117,6 @@
                         Preferences.getEditorColour)
         self.initColour("SelectionBackground", self.selectionBackgroundButton,
                         Preferences.getEditorColour, hasAlpha=True)
-        self.initColour("CurrentMarker", self.currentLineMarkerButton,
-                        Preferences.getEditorColour, hasAlpha=True)
-        self.initColour("ErrorMarker", self.errorMarkerButton,
-                        Preferences.getEditorColour, hasAlpha=True)
         self.initColour("MarginsForeground", self.marginsForegroundButton,
                         Preferences.getEditorColour)
         self.initColour("MarginsBackground", self.marginsBackgroundButton,

eric ide

mercurial