diff -r 923897a18b6a -r 1cce8982e636 E5XML/SessionHandler.py
--- a/E5XML/SessionHandler.py Sat May 08 15:23:56 2010 +0200
+++ b/E5XML/SessionHandler.py Sat May 08 17:33:47 2010 +0200
@@ -112,6 +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"))
folds = attrs.get("folds", "")
if folds:
@@ -126,6 +127,8 @@
self.vm.openFiles(self.buffer)
ed = self.vm.getOpenEditor(self.buffer)
if ed is not None:
+ if self.zoom > -1:
+ ed.zoomTo(self.zoom)
if self.folds:
ed.recolor()
for line in self.folds:
@@ -400,4 +403,4 @@
@return String containing the version number.
"""
- return self.version
\ No newline at end of file
+ return self.version
