Mercurial Repositories > eric / file diff

diff -r 52e8c820d0dd -r c679fb30c8f3 Preferences/ConfigurationPages/TerminalPage.py
--- a/Preferences/ConfigurationPages/TerminalPage.py	Mon Dec 28 18:31:37 2009 +0000
+++ b/Preferences/ConfigurationPages/TerminalPage.py	Wed Dec 30 15:40:33 2009 +0000
@@ -63,21 +63,21 @@
         Preferences.setTerminal("LinenoWidth",
             self.linenowidthSlider.value())
         Preferences.setTerminal("LinenoMargin",
-            int(self.linenoCheckBox.isChecked()))
+            self.linenoCheckBox.isChecked())
         Preferences.setTerminal("SyntaxHighlightingEnabled",
-            int(self.syntaxHighlightingCheckBox.isChecked()))
+            self.syntaxHighlightingCheckBox.isChecked())
         Preferences.setTerminal("MaxHistoryEntries",
             self.historySpinBox.value())
         
         Preferences.setTerminal("MonospacedFont", self.monospacedFont)
         Preferences.setTerminal("UseMonospacedFont",
-            int(self.monospacedCheckBox.isChecked()))
+            self.monospacedCheckBox.isChecked())
         Preferences.setTerminal("MarginsFont", self.marginsFont)
         
         Preferences.setTerminal("Shell", 
             self.shellCombo.currentText())
         Preferences.setTerminal("ShellInteractive", 
-            int(self.interactiveCheckBox.isChecked()))
+            self.interactiveCheckBox.isChecked())
         
     @pyqtSlot()
     def on_monospacedFontButton_clicked(self):