diff -r e60ea6cb8e11 -r 3d4277929fb3 Preferences/ConfigurationPages/ShellPage.py --- 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",