--- a/QScintilla/Exporters/ExporterTEX.py Mon Jan 30 18:53:47 2012 +0100 +++ b/QScintilla/Exporters/ExporterTEX.py Sat Feb 04 17:43:50 2012 +0100 @@ -206,7 +206,7 @@ style = self.editor.styleAt(pos) if style != styleCurrent: # new style - f.write("}\n\\eric{0}{{".format(self.__texStyle(style))) + f.write("}}\n\\eric{0}{{".format(self.__texStyle(style))) styleCurrent = style if ch == b'\t':