--- a/Preferences/ConfigurationPages/EditorCalltipsPage.py Mon Dec 28 18:31:37 2009 +0000 +++ b/Preferences/ConfigurationPages/EditorCalltipsPage.py Wed Dec 30 15:40:33 2009 +0000 @@ -44,14 +44,14 @@ Public slot to save the EditorCalltips configuration. """ Preferences.setEditor("CallTipsEnabled", - int(self.ctEnabledCheckBox.isChecked())) + self.ctEnabledCheckBox.isChecked()) Preferences.setEditor("CallTipsVisible", self.ctVisibleSlider.value()) Preferences.setEditorColour("CallTipsBackground", self.callTipsBackgroundColour) Preferences.setEditor("CallTipsScintillaOnFail", - int(self.ctScintillaCheckBox.isChecked())) + self.ctScintillaCheckBox.isChecked()) @pyqtSlot() def on_calltipsBackgroundButton_clicked(self):