E5XML/SessionWriter.py

changeset 938
f421f2138c0f
parent 791
9ec2ac20e54e
child 945
8cd4d08fa9f6
diff -r 336c8f1ee7bb -r f421f2138c0f E5XML/SessionWriter.py
--- a/E5XML/SessionWriter.py	Thu Mar 10 14:00:34 2011 +0100
+++ b/E5XML/SessionWriter.py	Thu Mar 10 14:50:53 2011 +0100
@@ -75,7 +75,8 @@
                 ed = self.vm.getOpenEditor(of)
                 if ed is not None:
                     line, index = ed.getCursorPosition()
-                    folds = ','.join([str(i + 1) for i in ed.getFolds()])
+                    folds = ','.join(
+                        [str(i + 1) for i in ed.contractedFolds()])
                     zoom = ed.getZoom()
                 else:
                     line, index = 0, 0

eric ide

mercurial