Preferences/ConfigurationPages/ShellPage.py

changeset 7
c679fb30c8f3
parent 0
de9c2efb9d02
child 12
1d8dd9706f46
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()

eric ide

mercurial