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( |