Preferences/ConfigurationPages/EditorAutocompletionPage.py

changeset 7
c679fb30c8f3
parent 0
de9c2efb9d02
child 12
1d8dd9706f46
diff -r 52e8c820d0dd -r c679fb30c8f3 Preferences/ConfigurationPages/EditorAutocompletionPage.py
--- a/Preferences/ConfigurationPages/EditorAutocompletionPage.py	Mon Dec 28 18:31:37 2009 +0000
+++ b/Preferences/ConfigurationPages/EditorAutocompletionPage.py	Wed Dec 30 15:40:33 2009 +0000
@@ -39,11 +39,11 @@
         Public slot to save the Editor Autocompletion configuration.
         """
         Preferences.setEditor("AutoCompletionEnabled",
-            int(self.acEnabledCheckBox.isChecked()))
+            self.acEnabledCheckBox.isChecked())
         Preferences.setEditor("AutoCompletionCaseSensitivity",
-            int(self.acCaseSensitivityCheckBox.isChecked()))
+            self.acCaseSensitivityCheckBox.isChecked())
         Preferences.setEditor("AutoCompletionReplaceWord",
-            int(self.acReplaceWordCheckBox.isChecked()))
+            self.acReplaceWordCheckBox.isChecked())
         Preferences.setEditor("AutoCompletionThreshold",
             self.acThresholdSlider.value())
     

eric ide

mercurial