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 |