Preferences/ConfigurationPages/EditorGeneralPage.py

changeset 4176
4c09d3d75768
parent 4021
195a471c327b
child 4631
5c1a96925da4
diff -r 4db8023ccf32 -r 4c09d3d75768 Preferences/ConfigurationPages/EditorGeneralPage.py
--- a/Preferences/ConfigurationPages/EditorGeneralPage.py	Sat Mar 14 14:29:22 2015 +0100
+++ b/Preferences/ConfigurationPages/EditorGeneralPage.py	Sat Mar 14 14:36:52 2015 +0100
@@ -34,8 +34,6 @@
             Preferences.getEditor("TabWidth"))
         self.indentwidthSlider.setValue(
             Preferences.getEditor("IndentWidth"))
-        self.indentguidesCheckBox.setChecked(
-            Preferences.getEditor("IndentationGuides"))
         self.tabforindentationCheckBox.setChecked(
             Preferences.getEditor("TabForIndentation"))
         self.tabindentsCheckBox.setChecked(
@@ -64,9 +62,6 @@
             "IndentWidth",
             self.indentwidthSlider.value())
         Preferences.setEditor(
-            "IndentationGuides",
-            self.indentguidesCheckBox.isChecked())
-        Preferences.setEditor(
             "TabForIndentation",
             self.tabforindentationCheckBox.isChecked())
         Preferences.setEditor(

eric ide

mercurial