diff -r 8bd79dfb48a5 -r dedcd4f987e0 Preferences/ConfigurationPages/EditorStylesPage.py --- a/Preferences/ConfigurationPages/EditorStylesPage.py Sun Apr 28 15:38:35 2013 +0200 +++ b/Preferences/ConfigurationPages/EditorStylesPage.py Wed May 01 14:47:38 2013 +0200 @@ -77,8 +77,6 @@ self.monospacedFontSample.setFont(self.monospacedFont) self.monospacedCheckBox.setChecked( Preferences.getEditor("UseMonospacedFont")) - self.linenowidthSlider.setValue( - Preferences.getEditor("LinenoWidth")) self.linenoCheckBox.setChecked( Preferences.getEditor("LinenoMargin")) self.foldingCheckBox.setChecked( @@ -206,8 +204,6 @@ Preferences.setEditor("UseMonospacedFont", self.monospacedCheckBox.isChecked()) - Preferences.setEditor("LinenoWidth", - self.linenowidthSlider.value()) Preferences.setEditor("LinenoMargin", self.linenoCheckBox.isChecked()) Preferences.setEditor("FoldingMargin",