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) |