Preferences/ConfigurationPages/ShellPage.py

branch
Py2 comp.
changeset 2677
3d4277929fb3
parent 2525
8b507a9a2d40
parent 2640
dedcd4f987e0
child 3057
10516539f238
--- a/Preferences/ConfigurationPages/ShellPage.py	Fri May 24 18:39:58 2013 +0200
+++ b/Preferences/ConfigurationPages/ShellPage.py	Tue May 28 20:52:12 2013 +0200
@@ -30,8 +30,6 @@
         self.setObjectName("ShellPage")
         
         # set initial values
-        self.shellLinenowidthSlider.setValue(
-            Preferences.getShell("LinenoWidth"))
         self.shellLinenoCheckBox.setChecked(
             Preferences.getShell("LinenoMargin"))
         self.shellWordWrapCheckBox.setChecked(
@@ -58,8 +56,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