eric6/QScintilla/Exporters/ExporterRTF.py

changeset 7836
2f0d208b8137
parent 7785
9978016560ec
child 7923
91e843545d9a
equal deleted inserted replaced
7835:0835ed67714b 7836:2f0d208b8137
363 column += 1 363 column += 1
364 prevCR = ch == b'\r' 364 prevCR = ch == b'\r'
365 pos += 1 365 pos += 1
366 366
367 f.write(self.RTF_BODYCLOSE) 367 f.write(self.RTF_BODYCLOSE)
368 except IOError as err: 368 except OSError as err:
369 E5MessageBox.critical( 369 E5MessageBox.critical(
370 self.editor, 370 self.editor,
371 self.tr("Export source"), 371 self.tr("Export source"),
372 self.tr( 372 self.tr(
373 """<p>The source could not be exported to""" 373 """<p>The source could not be exported to"""

eric ide

mercurial