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