diff -r 52e8c820d0dd -r c679fb30c8f3 Preferences/ConfigurationPages/EditorGeneralPage.py --- a/Preferences/ConfigurationPages/EditorGeneralPage.py Mon Dec 28 18:31:37 2009 +0000 +++ b/Preferences/ConfigurationPages/EditorGeneralPage.py Wed Dec 30 15:40:33 2009 +0000 @@ -53,17 +53,17 @@ Preferences.setEditor("IndentWidth", self.indentwidthSlider.value()) Preferences.setEditor("IndentationGuides", - int(self.indentguidesCheckBox.isChecked())) + self.indentguidesCheckBox.isChecked()) Preferences.setEditor("TabForIndentation", - int(self.tabforindentationCheckBox.isChecked())) + self.tabforindentationCheckBox.isChecked()) Preferences.setEditor("TabIndents", - int(self.tabindentsCheckBox.isChecked())) + self.tabindentsCheckBox.isChecked()) Preferences.setEditor("ConvertTabsOnLoad", - int(self.converttabsCheckBox.isChecked())) + self.converttabsCheckBox.isChecked()) Preferences.setEditor("AutoIndentation", - int(self.autoindentCheckBox.isChecked())) + self.autoindentCheckBox.isChecked()) Preferences.setEditor("CommentColumn0", - int(self.comment0CheckBox.isChecked())) + self.comment0CheckBox.isChecked()) def on_tabforindentationCheckBox_toggled(self, checked): """