E5XML/SessionWriter.py

changeset 938
f421f2138c0f
parent 791
9ec2ac20e54e
child 945
8cd4d08fa9f6
equal deleted inserted replaced
937:336c8f1ee7bb 938:f421f2138c0f
73 for of in allOpenFiles: 73 for of in allOpenFiles:
74 if isGlobal or of.startswith(self.project.ppath): 74 if isGlobal or of.startswith(self.project.ppath):
75 ed = self.vm.getOpenEditor(of) 75 ed = self.vm.getOpenEditor(of)
76 if ed is not None: 76 if ed is not None:
77 line, index = ed.getCursorPosition() 77 line, index = ed.getCursorPosition()
78 folds = ','.join([str(i + 1) for i in ed.getFolds()]) 78 folds = ','.join(
79 [str(i + 1) for i in ed.contractedFolds()])
79 zoom = ed.getZoom() 80 zoom = ed.getZoom()
80 else: 81 else:
81 line, index = 0, 0 82 line, index = 0, 0
82 folds = '' 83 folds = ''
83 zoom = -9999 84 zoom = -9999

eric ide

mercurial