Plugins/AboutPlugin/AboutDialog.py

branch
Py2 comp.
changeset 2677
3d4277929fb3
parent 2525
8b507a9a2d40
parent 2594
bbb99b1cdfd2
child 2791
a9577f248f04
equal deleted inserted replaced
2670:e60ea6cb8e11 2677:3d4277929fb3
11 11
12 from PyQt4.QtGui import QApplication, QDialog 12 from PyQt4.QtGui import QApplication, QDialog
13 13
14 from .Ui_AboutDialog import Ui_AboutDialog 14 from .Ui_AboutDialog import Ui_AboutDialog
15 15
16 import Utilities 16 import Preferences
17 17
18 import UI.PixmapCache 18 import UI.PixmapCache
19 import UI.Info 19 import UI.Info
20 20
21 21
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)

eric ide

mercurial