diff -r a2df0adce985 -r bbb99b1cdfd2 Plugins/AboutPlugin/AboutDialog.py
--- a/Plugins/AboutPlugin/AboutDialog.py Fri Apr 19 18:34:33 2013 +0200
+++ b/Plugins/AboutPlugin/AboutDialog.py Sat Apr 20 15:14:31 2013 +0200
@@ -764,8 +764,8 @@
####################################################################
font = Preferences.getEditorOtherFonts("MonospacedFont")
- self.contents.setFontFamily(font.family())
- self.contents.setFontPointSize(font.pointSize())
+ self.licenseEdit.setFontFamily(font.family())
+ self.licenseEdit.setFontPointSize(font.pointSize())
self.licenseEdit.setPlainText(licenseText)
