204 while pos < lengthDoc: |
204 while pos < lengthDoc: |
205 ch = self.editor.byteAt(pos) |
205 ch = self.editor.byteAt(pos) |
206 style = self.editor.styleAt(pos) |
206 style = self.editor.styleAt(pos) |
207 if style != styleCurrent: |
207 if style != styleCurrent: |
208 # new style |
208 # new style |
209 f.write("}\n\\eric{0}{{".format(self.__texStyle(style))) |
209 f.write("}}\n\\eric{0}{{".format(self.__texStyle(style))) |
210 styleCurrent = style |
210 styleCurrent = style |
211 |
211 |
212 if ch == b'\t': |
212 if ch == b'\t': |
213 ts = tabSize - (lineIdx % tabSize) |
213 ts = tabSize - (lineIdx % tabSize) |
214 lineIdx += ts - 1 |
214 lineIdx += ts - 1 |