389 f = open(filename, "w", encoding = "utf-8") |
391 f = open(filename, "w", encoding = "utf-8") |
390 f.write(html) |
392 f.write(html) |
391 f.close() |
393 f.close() |
392 except IOError as err: |
394 except IOError as err: |
393 QApplication.restoreOverrideCursor() |
395 QApplication.restoreOverrideCursor() |
394 QMessageBox.critical(self.editor, |
396 E5MessageBox.critical(self.editor, |
395 self.trUtf8("Export source"), |
397 self.trUtf8("Export source"), |
396 self.trUtf8(\ |
398 self.trUtf8(\ |
397 """<p>The source could not be exported to <b>{0}</b>.</p>""" |
399 """<p>The source could not be exported to <b>{0}</b>.</p>""" |
398 """<p>Reason: {1}</p>""")\ |
400 """<p>Reason: {1}</p>""")\ |
399 .format(filename, str(err))) |
401 .format(filename, str(err))) |