608 |
608 |
609 pos += 1 |
609 pos += 1 |
610 |
610 |
611 # write required stuff and close the PDF file |
611 # write required stuff and close the PDF file |
612 self.pr.endPDF() |
612 self.pr.endPDF() |
613 except IOError as err: |
613 except OSError as err: |
614 E5MessageBox.critical( |
614 E5MessageBox.critical( |
615 self.editor, |
615 self.editor, |
616 self.tr("Export source"), |
616 self.tr("Export source"), |
617 self.tr( |
617 self.tr( |
618 """<p>The source could not be exported to""" |
618 """<p>The source could not be exported to""" |