Plugins/AboutPlugin/AboutDialog.py

changeset 2594
bbb99b1cdfd2
parent 2580
7403bc14ea26
child 2677
3d4277929fb3
child 2763
e4794166ad70
equal deleted inserted replaced
2593:a2df0adce985 2594:bbb99b1cdfd2
762 #################################################################### 762 ####################################################################
763 ## LICENSE 763 ## LICENSE
764 #################################################################### 764 ####################################################################
765 765
766 font = Preferences.getEditorOtherFonts("MonospacedFont") 766 font = Preferences.getEditorOtherFonts("MonospacedFont")
767 self.contents.setFontFamily(font.family()) 767 self.licenseEdit.setFontFamily(font.family())
768 self.contents.setFontPointSize(font.pointSize()) 768 self.licenseEdit.setFontPointSize(font.pointSize())
769 769
770 self.licenseEdit.setPlainText(licenseText) 770 self.licenseEdit.setPlainText(licenseText)
771 771
772 self.aboutTabWidget.setCurrentWidget(self.about) 772 self.aboutTabWidget.setCurrentWidget(self.about)

eric ide

mercurial