eric6/QScintilla/Exporters/ExporterHTML.py

changeset 7836
2f0d208b8137
parent 7785
9978016560ec
child 7900
72b88fb20261
child 7924
8a96736d465e
equal deleted inserted replaced
7835:0835ed67714b 7836:2f0d208b8137
454 if html: 454 if html:
455 try: 455 try:
456 with E5OverrideCursor(): 456 with E5OverrideCursor():
457 with open(filename, "w", encoding="utf-8") as f: 457 with open(filename, "w", encoding="utf-8") as f:
458 f.write(html) 458 f.write(html)
459 except IOError as err: 459 except OSError as err:
460 E5MessageBox.critical( 460 E5MessageBox.critical(
461 self.editor, 461 self.editor,
462 self.tr("Export source"), 462 self.tr("Export source"),
463 self.tr( 463 self.tr(
464 """<p>The source could not be exported to""" 464 """<p>The source could not be exported to"""

eric ide

mercurial