50 self.helpEdit.setFontFamily("Lucida Console") |
50 self.helpEdit.setFontFamily("Lucida Console") |
51 else: |
51 else: |
52 self.helpEdit.setFontFamily("Monospace") |
52 self.helpEdit.setFontFamily("Monospace") |
53 |
53 |
54 try: |
54 try: |
55 f = open(helpfile, "r", encoding="utf-8") |
55 with open(helpfile, "r", encoding="utf-8") as f: |
56 txt = f.read() |
56 txt = f.read() |
57 f.close() |
|
58 self.helpEdit.setPlainText(txt) |
57 self.helpEdit.setPlainText(txt) |
59 except IOError as err: |
58 except IOError as err: |
60 self.helpEdit.setPlainText( |
59 self.helpEdit.setPlainText( |
61 self.tr("Could not read file {0}.\nReason: {1}") |
60 self.tr("Could not read file {0}.\nReason: {1}") |
62 .format(helpfile, str(err))) |
61 .format(helpfile, str(err))) |