761 |
761 |
762 #################################################################### |
762 #################################################################### |
763 ## LICENSE |
763 ## LICENSE |
764 #################################################################### |
764 #################################################################### |
765 |
765 |
766 if Utilities.isWindowsPlatform(): |
766 font = Preferences.getEditorOtherFonts("MonospacedFont") |
767 self.licenseEdit.setFontFamily("Lucida Console") |
767 self.contents.setFontFamily(font.family()) |
768 else: |
768 self.contents.setFontPointSize(font.pointSize()) |
769 self.licenseEdit.setFontFamily("Monospace") |
|
770 |
769 |
771 self.licenseEdit.setPlainText(licenseText) |
770 self.licenseEdit.setPlainText(licenseText) |
772 |
771 |
773 self.aboutTabWidget.setCurrentWidget(self.about) |
772 self.aboutTabWidget.setCurrentWidget(self.about) |