[pygtk] Font size

[Gian Mario Tagliaretti]

On Wed, Dec 10, 2008 at 12:48 PM, Frédéric
<frederic.mantegazza a gbiloba.org> 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
gianmt a gnome.org