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