diff -r 52e8c820d0dd -r c679fb30c8f3 Preferences/ConfigurationPages/DebuggerPython3Page.py --- a/Preferences/ConfigurationPages/DebuggerPython3Page.py Mon Dec 28 18:31:37 2009 +0000 +++ b/Preferences/ConfigurationPages/DebuggerPython3Page.py Wed Dec 30 15:40:33 2009 +0000 @@ -68,9 +68,9 @@ Preferences.setDebugger("DebugClient3", self.debugClientEdit.text()) Preferences.setDebugger("Python3Redirect", - int(self.pyRedirectCheckBox.isChecked())) + self.pyRedirectCheckBox.isChecked()) Preferences.setDebugger("Python3NoEncoding", - int(self.pyNoEncodingCheckBox.isChecked())) + self.pyNoEncodingCheckBox.isChecked()) Preferences.setDebugger("Python3Extensions", self.sourceExtensionsEdit.text())