E5XML/SessionWriter.py

changeset 229
fa7024a3cd58
parent 228
1cce8982e636
child 411
99409cddaaa9
child 792
a13346916170
equal deleted inserted replaced
228:1cce8982e636 229:fa7024a3cd58
78 folds = ','.join([str(i + 1) for i in ed.getFolds()]) 78 folds = ','.join([str(i + 1) for i in ed.getFolds()])
79 zoom = ed.getZoom() 79 zoom = ed.getZoom()
80 else: 80 else:
81 line, index = 0, 0 81 line, index = 0, 0
82 folds = '' 82 folds = ''
83 zoom = -1 83 zoom = -9999
84 self._write(' <Filename cline="%d" cindex="%d" folds="%s" zoom="%d">' 84 self._write(' <Filename cline="%d" cindex="%d" folds="%s" zoom="%d">'
85 '%s</Filename>' % \ 85 '%s</Filename>' % \
86 (line, index, folds, zoom, of)) 86 (line, index, folds, zoom, of))
87 self._write(" </Filenames>") 87 self._write(" </Filenames>")
88 88

eric ide

mercurial