diff -r 35bb8c5eb7fe -r 7403bc14ea26 Plugins/AboutPlugin/AboutDialog.py
--- a/Plugins/AboutPlugin/AboutDialog.py Sat Apr 13 19:06:54 2013 +0200
+++ b/Plugins/AboutPlugin/AboutDialog.py Sun Apr 14 12:25:38 2013 +0200
@@ -11,7 +11,7 @@
from .Ui_AboutDialog import Ui_AboutDialog
-import Utilities
+import Preferences
import UI.PixmapCache
import UI.Info
@@ -763,10 +763,9 @@
## LICENSE
####################################################################
- if Utilities.isWindowsPlatform():
- self.licenseEdit.setFontFamily("Lucida Console")
- else:
- self.licenseEdit.setFontFamily("Monospace")
+ font = Preferences.getEditorOtherFonts("MonospacedFont")
+ self.contents.setFontFamily(font.family())
+ self.contents.setFontPointSize(font.pointSize())
self.licenseEdit.setPlainText(licenseText)
