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