--- a/Preferences/__init__.py	Sat May 08 17:38:46 2010 +0200
+++ b/Preferences/__init__.py	Sat May 08 18:01:31 2010 +0200
@@ -279,6 +279,8 @@
         "DefaultOpenFilter" : "",
         "DefaultSaveFilter" : "",
         
+        "ZoomFactor" : 0, 
+        
         # All (most) lexers
         "AllFoldCompact" : True,
         
@@ -1212,7 +1214,7 @@
                  "CaretWidth", "AutoCompletionSource", "AutoCompletionThreshold", 
                  "CallTipsVisible", "CallTipsStyle", "MarkOccurrencesTimeout", 
                  "AutoSpellCheckChunkSize", "SpellCheckingMinWordSize", 
-                 "PostScriptLevel", "EOLMode"]:
+                 "PostScriptLevel", "EOLMode", "ZoomFactor"]:
         return int(prefClass.settings.value("Editor/" + key, 
             prefClass.editorDefaults[key]))
     else: