E5XML/SessionHandler.py

changeset 229
fa7024a3cd58
parent 228
1cce8982e636
child 596
0b7d359a00e5
--- a/E5XML/SessionHandler.py	Sat May 08 17:33:47 2010 +0200
+++ b/E5XML/SessionHandler.py	Sat May 08 17:38:46 2010 +0200
@@ -112,7 +112,7 @@
         self.buffer = ""
         self.cline = int(attrs.get("cline", "0"))
         self.cindex = int(attrs.get("cindex", "0"))
-        self.zoom = int(attrs.get("zoom", "-1"))
+        self.zoom = int(attrs.get("zoom", "-9999"))
         
         folds = attrs.get("folds", "")
         if folds:
@@ -127,7 +127,7 @@
         self.vm.openFiles(self.buffer)
         ed = self.vm.getOpenEditor(self.buffer)
         if ed is not None:
-            if self.zoom > -1:
+            if self.zoom > -9999:
                 ed.zoomTo(self.zoom)
             if self.folds:
                 ed.recolor()

eric ide

mercurial