diff -r 52e8c820d0dd -r c679fb30c8f3 Preferences/ConfigurationPages/ShellPage.py --- a/Preferences/ConfigurationPages/ShellPage.py Mon Dec 28 18:31:37 2009 +0000 +++ b/Preferences/ConfigurationPages/ShellPage.py Wed Dec 30 15:40:33 2009 +0000 @@ -58,23 +58,23 @@ Preferences.setShell("LinenoWidth", self.shellLinenowidthSlider.value()) Preferences.setShell("LinenoMargin", - int(self.shellLinenoCheckBox.isChecked())) + self.shellLinenoCheckBox.isChecked()) Preferences.setShell("WrapEnabled", - int(self.shellWordWrapCheckBox.isChecked())) + self.shellWordWrapCheckBox.isChecked()) Preferences.setShell("AutoCompletionEnabled", - int(self.shellACEnabledCheckBox.isChecked())) + self.shellACEnabledCheckBox.isChecked()) Preferences.setShell("CallTipsEnabled", - int(self.shellCTEnabledCheckBox.isChecked())) + self.shellCTEnabledCheckBox.isChecked()) Preferences.setShell("SyntaxHighlightingEnabled", - int(self.shellSyntaxHighlightingCheckBox.isChecked())) + self.shellSyntaxHighlightingCheckBox.isChecked()) Preferences.setShell("MaxHistoryEntries", self.shellHistorySpinBox.value()) Preferences.setShell("ShowStdOutErr", - int(self.stdOutErrCheckBox.isChecked())) + self.stdOutErrCheckBox.isChecked()) Preferences.setShell("MonospacedFont", self.monospacedFont) Preferences.setShell("UseMonospacedFont", - int(self.monospacedCheckBox.isChecked())) + self.monospacedCheckBox.isChecked()) Preferences.setShell("MarginsFont", self.marginsFont) @pyqtSlot()