On Wed, Dec 10, 2008 at 12:48 PM, Frédéric <[EMAIL PROTECTED]> wrote: > > Hi, > > I would like to be able to change the font size of a specific widget; I > want it to use a font larger than the other one, whatever is the default > size (which I can set using .pygtkrc), or even the font name.
you could use (if I got your question right) the pango markup for that: http://library.gnome.org/devel/pango/unstable/PangoMarkupFormat.html cheers -- Gian Mario Tagliaretti GNOME Foundation member [EMAIL PROTECTED] _______________________________________________ pygtk mailing list [email protected] http://www.daa.com.au/mailman/listinfo/pygtk Read the PyGTK FAQ: http://faq.pygtk.org/
