Preferences/ConfigurationPages/ShellPage.py

changeset 2640
dedcd4f987e0
parent 2302
f29e9405c851
child 2677
3d4277929fb3
child 2964
84b65fb9e780
--- a/Preferences/ConfigurationPages/ShellPage.py	Sun Apr 28 15:38:35 2013 +0200
+++ b/Preferences/ConfigurationPages/ShellPage.py	Wed May 01 14:47:38 2013 +0200
@@ -28,8 +28,6 @@
         self.setObjectName("ShellPage")
         
         # set initial values
-        self.shellLinenowidthSlider.setValue(
-            Preferences.getShell("LinenoWidth"))
         self.shellLinenoCheckBox.setChecked(
             Preferences.getShell("LinenoMargin"))
         self.shellWordWrapCheckBox.setChecked(
@@ -56,8 +54,6 @@
         """
         Public slot to save the Shell configuration.
         """
-        Preferences.setShell("LinenoWidth",
-            self.shellLinenowidthSlider.value())
         Preferences.setShell("LinenoMargin",
             self.shellLinenoCheckBox.isChecked())
         Preferences.setShell("WrapEnabled",

eric ide

mercurial