Plugins/AboutPlugin/AboutDialog.py

branch
Py2 comp.
changeset 2677
3d4277929fb3
parent 2525
8b507a9a2d40
parent 2594
bbb99b1cdfd2
child 2791
a9577f248f04
--- 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)
         

eric ide

mercurial