--- a/Plugins/AboutPlugin/AboutDialog.py Fri May 24 18:39:58 2013 +0200 +++ b/Plugins/AboutPlugin/AboutDialog.py Tue May 28 20:52:12 2013 +0200 @@ -13,7 +13,7 @@ from .Ui_AboutDialog import Ui_AboutDialog -import Utilities +import Preferences import UI.PixmapCache import UI.Info @@ -765,10 +765,9 @@ ## LICENSE #################################################################### - if Utilities.isWindowsPlatform(): - self.licenseEdit.setFontFamily("Lucida Console") - else: - self.licenseEdit.setFontFamily("Monospace") + font = Preferences.getEditorOtherFonts("MonospacedFont") + self.licenseEdit.setFontFamily(font.family()) + self.licenseEdit.setFontPointSize(font.pointSize()) self.licenseEdit.setPlainText(licenseText)