Preferences/ConfigurationPages/EditorStylesPage.py

changeset 5733
aed3e558407f
parent 5706
59458b006d76
child 6048
82ad8ec9548c
--- 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())

eric ide

mercurial