Preferences/ConfigurationPages/EditorGeneralPage.py

changeset 7
c679fb30c8f3
parent 0
de9c2efb9d02
child 12
1d8dd9706f46
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):
         """

eric ide

mercurial