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