E5XML/SessionHandler.py

changeset 229
fa7024a3cd58
parent 228
1cce8982e636
child 596
0b7d359a00e5
equal deleted inserted replaced
228:1cce8982e636 229:fa7024a3cd58
110 @param attrs list of tag attributes 110 @param attrs list of tag attributes
111 """ 111 """
112 self.buffer = "" 112 self.buffer = ""
113 self.cline = int(attrs.get("cline", "0")) 113 self.cline = int(attrs.get("cline", "0"))
114 self.cindex = int(attrs.get("cindex", "0")) 114 self.cindex = int(attrs.get("cindex", "0"))
115 self.zoom = int(attrs.get("zoom", "-1")) 115 self.zoom = int(attrs.get("zoom", "-9999"))
116 116
117 folds = attrs.get("folds", "") 117 folds = attrs.get("folds", "")
118 if folds: 118 if folds:
119 self.folds = [int(f) for f in folds.split(',')] 119 self.folds = [int(f) for f in folds.split(',')]
120 else: 120 else:
125 Handler method for the "Filename" end tag. 125 Handler method for the "Filename" end tag.
126 """ 126 """
127 self.vm.openFiles(self.buffer) 127 self.vm.openFiles(self.buffer)
128 ed = self.vm.getOpenEditor(self.buffer) 128 ed = self.vm.getOpenEditor(self.buffer)
129 if ed is not None: 129 if ed is not None:
130 if self.zoom > -1: 130 if self.zoom > -9999:
131 ed.zoomTo(self.zoom) 131 ed.zoomTo(self.zoom)
132 if self.folds: 132 if self.folds:
133 ed.recolor() 133 ed.recolor()
134 for line in self.folds: 134 for line in self.folds:
135 ed.foldLine(line - 1) 135 ed.foldLine(line - 1)

eric ide

mercurial