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