--- a/Preferences/ConfigurationPages/EditorStylesPage.py Fri May 24 18:39:58 2013 +0200 +++ b/Preferences/ConfigurationPages/EditorStylesPage.py Tue May 28 20:52:12 2013 +0200 @@ -79,8 +79,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( @@ -208,8 +206,6 @@ Preferences.setEditor("UseMonospacedFont", self.monospacedCheckBox.isChecked()) - Preferences.setEditor("LinenoWidth", - self.linenowidthSlider.value()) Preferences.setEditor("LinenoMargin", self.linenoCheckBox.isChecked()) Preferences.setEditor("FoldingMargin",