QScintilla/Exporters/ExporterTEX.py

changeset 537
72b32daeb8d6
parent 535
4b00d7336e19
child 564
b3d966393ba9
equal deleted inserted replaced
536:6d8d39753c82 537:72b32daeb8d6
13 import os 13 import os
14 14
15 from PyQt4.QtCore import * 15 from PyQt4.QtCore import *
16 from PyQt4.QtGui import * 16 from PyQt4.QtGui import *
17 from PyQt4.Qsci import QsciScintilla 17 from PyQt4.Qsci import QsciScintilla
18
19 from E5Gui import E5MessageBox
18 20
19 from .ExporterBase import ExporterBase 21 from .ExporterBase import ExporterBase
20 22
21 import Preferences 23 import Preferences
22 24
251 # close last empty style macros and document too 253 # close last empty style macros and document too
252 f.write("}\n} %end tiny\n\n\\end{document}\n") 254 f.write("}\n} %end tiny\n\n\\end{document}\n")
253 f.close() 255 f.close()
254 except IOError as err: 256 except IOError as err:
255 QApplication.restoreOverrideCursor() 257 QApplication.restoreOverrideCursor()
256 QMessageBox.critical(self.editor, 258 E5MessageBox.critical(self.editor,
257 self.trUtf8("Export source"), 259 self.trUtf8("Export source"),
258 self.trUtf8(\ 260 self.trUtf8(\
259 """<p>The source could not be exported to <b>{0}</b>.</p>""" 261 """<p>The source could not be exported to <b>{0}</b>.</p>"""
260 """<p>Reason: {1}</p>""")\ 262 """<p>Reason: {1}</p>""")\
261 .format(filename, str(err))) 263 .format(filename, str(err)))

eric ide

mercurial