Preferences/ConfigurationPages/EditorStylesPage.py

changeset 2640
dedcd4f987e0
parent 2408
dc3a7c9d8f6e
child 2677
3d4277929fb3
child 2905
a1ae4b297bc0
--- 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",

eric ide

mercurial