eric6/QScintilla/Exporters/ExporterHTML.py

changeset 7785
9978016560ec
parent 7781
607a6098cb44
child 7836
2f0d208b8137
equal deleted inserted replaced
7784:3257703e10c5 7785:9978016560ec
452 ) 452 )
453 453
454 if html: 454 if html:
455 try: 455 try:
456 with E5OverrideCursor(): 456 with E5OverrideCursor():
457 f = open(filename, "w", encoding="utf-8") 457 with open(filename, "w", encoding="utf-8") as f:
458 f.write(html) 458 f.write(html)
459 f.close()
460 except IOError as err: 459 except IOError as err:
461 E5MessageBox.critical( 460 E5MessageBox.critical(
462 self.editor, 461 self.editor,
463 self.tr("Export source"), 462 self.tr("Export source"),
464 self.tr( 463 self.tr(

eric ide

mercurial