=== modified file 'smart/interfaces/gtk/packageinfo.py' --- smart/interfaces/gtk/packageinfo.py 2005-12-21 17:12:42 +0000 +++ smart/interfaces/gtk/packageinfo.py 2009-06-18 15:05:26 +0000 @@ -38,6 +38,18 @@ boldfont = font.copy() boldfont.set_weight(pango.WEIGHT_BOLD) + if sysconf.get("gtk-description-fontsize"): + fontsize = int(sysconf.get("gtk-description-fontsize")) + + descfont = self.style.font_desc.copy() + descfont.set_size(fontsize*pango.SCALE) + + bolddescfont = descfont.copy() + bolddescfont.set_weight(pango.WEIGHT_BOLD) + else: + descfont = font + bolddescfont = boldfont + self._notebook = gtk.Notebook() self._notebook.show() self.add(self._notebook) @@ -101,8 +113,8 @@ self._descrtv.set_right_margin(5) self._descrtv.show() buffer = self._descrtv.get_buffer() - buffer.create_tag("description", font_desc=font) - buffer.create_tag("summary", font_desc=boldfont) + buffer.create_tag("description", font_desc=descfont) + buffer.create_tag("summary", font_desc=bolddescfont) sw.add(self._descrtv) label = gtk.Label(_("Description"))