eric6/QScintilla/Exporters/ExporterTEX.py

changeset 7836
2f0d208b8137
parent 7785
9978016560ec
child 7923
91e843545d9a
equal deleted inserted replaced
7835:0835ed67714b 7836:2f0d208b8137
273 lineIdx += 1 273 lineIdx += 1
274 pos += 1 274 pos += 1
275 275
276 # close last empty style macros and document too 276 # close last empty style macros and document too
277 f.write("}\n} %end tiny\n\n\\end{document}\n") 277 f.write("}\n} %end tiny\n\n\\end{document}\n")
278 except IOError as err: 278 except OSError as err:
279 E5MessageBox.critical( 279 E5MessageBox.critical(
280 self.editor, 280 self.editor,
281 self.tr("Export source"), 281 self.tr("Export source"),
282 self.tr( 282 self.tr(
283 """<p>The source could not be exported to""" 283 """<p>The source could not be exported to"""

eric ide

mercurial