Preferences/ConfigurationPages/ShellPage.py

changeset 3025
67064c71df21
parent 3010
befeff46ec0f
child 3058
0a02c433f52d
child 3160
209a07d7e401
--- a/Preferences/ConfigurationPages/ShellPage.py	Tue Oct 15 19:13:32 2013 +0200
+++ b/Preferences/ConfigurationPages/ShellPage.py	Wed Oct 16 15:16:54 2013 +0200
@@ -54,23 +54,31 @@
         """
         Public slot to save the Shell configuration.
         """
-        Preferences.setShell("LinenoMargin",
+        Preferences.setShell(
+            "LinenoMargin",
             self.shellLinenoCheckBox.isChecked())
-        Preferences.setShell("WrapEnabled",
+        Preferences.setShell(
+            "WrapEnabled",
             self.shellWordWrapCheckBox.isChecked())
-        Preferences.setShell("AutoCompletionEnabled",
+        Preferences.setShell(
+            "AutoCompletionEnabled",
             self.shellACEnabledCheckBox.isChecked())
-        Preferences.setShell("CallTipsEnabled",
+        Preferences.setShell(
+            "CallTipsEnabled",
             self.shellCTEnabledCheckBox.isChecked())
-        Preferences.setShell("SyntaxHighlightingEnabled",
+        Preferences.setShell(
+            "SyntaxHighlightingEnabled",
             self.shellSyntaxHighlightingCheckBox.isChecked())
-        Preferences.setShell("MaxHistoryEntries",
+        Preferences.setShell(
+            "MaxHistoryEntries",
             self.shellHistorySpinBox.value())
-        Preferences.setShell("ShowStdOutErr",
+        Preferences.setShell(
+            "ShowStdOutErr",
             self.stdOutErrCheckBox.isChecked())
         
         Preferences.setShell("MonospacedFont", self.monospacedFont)
-        Preferences.setShell("UseMonospacedFont",
+        Preferences.setShell(
+            "UseMonospacedFont",
             self.monospacedCheckBox.isChecked())
         Preferences.setShell("MarginsFont", self.marginsFont)
         

eric ide

mercurial