--- 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",