Preferences/ConfigurationPages/EditorStylesPage.py

changeset 6299
feb3cf2cbde3
parent 6278
13fd8759f981
child 6645
ad476851d7e0
diff -r 2be37423974e -r feb3cf2cbde3 Preferences/ConfigurationPages/EditorStylesPage.py
--- a/Preferences/ConfigurationPages/EditorStylesPage.py	Sat May 19 16:41:22 2018 +0200
+++ b/Preferences/ConfigurationPages/EditorStylesPage.py	Sat May 19 17:56:11 2018 +0200
@@ -93,8 +93,6 @@
             Preferences.getEditor("LinenoMargin"))
         self.foldingCheckBox.setChecked(
             Preferences.getEditor("FoldingMargin"))
-        self.unifiedMarginsCheckBox.setChecked(
-            Preferences.getEditor("UnifiedMargins"))
         
         self.caretlineVisibleCheckBox.setChecked(
             Preferences.getEditor("CaretLineVisible"))
@@ -289,8 +287,6 @@
             "LinenoMargin", self.linenoCheckBox.isChecked())
         Preferences.setEditor(
             "FoldingMargin", self.foldingCheckBox.isChecked())
-        Preferences.setEditor(
-            "UnifiedMargins", self.unifiedMarginsCheckBox.isChecked())
         
         Preferences.setEditor(
             "CaretLineVisible", self.caretlineVisibleCheckBox.isChecked())

eric ide

mercurial