diff -r 52e8c820d0dd -r c679fb30c8f3 Preferences/ConfigurationPages/EditorCalltipsPage.py
--- 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):
