Preferences/ConfigurationPages/EditorStylesPage.py

changeset 230
2cde09c26384
parent 97
c4086afea02b
child 330
4b4f242bf3f6
child 792
a13346916170
--- a/Preferences/ConfigurationPages/EditorStylesPage.py	Sat May 08 17:38:46 2010 +0200
+++ b/Preferences/ConfigurationPages/EditorStylesPage.py	Sat May 08 18:01:31 2010 +0200
@@ -132,6 +132,9 @@
             self.initColour("NonmatchingBraceBack", self.nonmatchingBracesBackButton, 
                 Preferences.getEditorColour)
         
+        self.zoomfactorSlider.setValue(
+            Preferences.getEditor("ZoomFactor"))
+        
         self.whitespaceCheckBox.setChecked(\
             Preferences.getEditor("ShowWhitespace"))
         self.miniMenuCheckBox.setChecked(\
@@ -182,6 +185,9 @@
         Preferences.setEditor("BraceHighlighting",
             self.bracehighlightingCheckBox.isChecked())
         
+        Preferences.setEditor("ZoomFactor", 
+            self.zoomfactorSlider.value())
+        
         Preferences.setEditor("ShowWhitespace", 
             self.whitespaceCheckBox.isChecked())
         Preferences.setEditor("MiniContextMenu",

eric ide

mercurial