Preferences/ConfigurationPages/EditorAPIsPage.py

changeset 7
c679fb30c8f3
parent 0
de9c2efb9d02
child 12
1d8dd9706f46
diff -r 52e8c820d0dd -r c679fb30c8f3 Preferences/ConfigurationPages/EditorAPIsPage.py
--- a/Preferences/ConfigurationPages/EditorAPIsPage.py	Mon Dec 28 18:31:37 2009 +0000
+++ b/Preferences/ConfigurationPages/EditorAPIsPage.py	Wed Dec 30 15:40:33 2009 +0000
@@ -63,7 +63,7 @@
         Public slot to save the Editor APIs configuration.
         """
         Preferences.setEditor("AutoPrepareAPIs",
-            int(self.apiAutoPrepareCheckBox.isChecked()))
+            self.apiAutoPrepareCheckBox.isChecked())
         
         lang = self.apiLanguageComboBox.currentText()
         self.apis[lang] = self.__editorGetApisFromApiList()

eric ide

mercurial