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