--- a/Preferences/ConfigurationPages/EditorStylesPage.py Sat May 06 14:59:26 2017 +0200 +++ b/Preferences/ConfigurationPages/EditorStylesPage.py Thu May 11 18:26:56 2017 +0200 @@ -108,6 +108,8 @@ Preferences.getEditor("CustomSelectionColours")) self.extentSelEolCheckBox.setChecked( Preferences.getEditor("ExtendSelectionToEol")) + self.debugMarkerBackgroundCheckBox.setChecked( + Preferences.getEditor("LineMarkersBackground")) self.initColour("CaretForeground", self.caretForegroundButton, Preferences.getEditorColour) @@ -117,6 +119,10 @@ 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, @@ -292,6 +298,9 @@ "CustomSelectionColours", self.customSelColourCheckBox.isChecked()) Preferences.setEditor( "ExtendSelectionToEol", self.extentSelEolCheckBox.isChecked()) + Preferences.setEditor( + "LineMarkersBackground", + self.debugMarkerBackgroundCheckBox.isChecked()) Preferences.setEditor( "CaretWidth", self.caretWidthSpinBox.value())