103 if self.name() == "Filename": |
103 if self.name() == "Filename": |
104 cline = int(self.attribute("cline", "0")) |
104 cline = int(self.attribute("cline", "0")) |
105 cindex = int(self.attribute("cindex", "0")) |
105 cindex = int(self.attribute("cindex", "0")) |
106 folds = self.attribute("folds") |
106 folds = self.attribute("folds") |
107 if folds: |
107 if folds: |
108 folds = [int(f) for f in folds.split(',')] |
108 folds = [int(f) - 1 for f in folds.split(',')] |
109 else: |
109 else: |
110 folds = [] |
110 folds = [] |
111 zoom = int(self.attribute("zoom", "-9999")) |
111 zoom = int(self.attribute("zoom", "-9999")) |
112 filename = self.readElementText() |
112 filename = self.readElementText() |
113 |
113 |