Thanks!! :) 2012/12/17 Olav Vitters <o...@vitters.nl>
> On Mon, Dec 17, 2012 at 10:44:32AM +0100, Daniel Mustieles García wrote: > > Just a quick question about this topic. > > > > Which is the attribute equivalent to "<small>"? I'm migrating > > gnome-terminal and I need to change this value. > > $ python > Python 2.7.3 (default, Aug 5 2012, 23:17:03) > [GCC 4.7.1] on linux2 > Type "help", "copyright", "credits" or "license" for more information. > >>> import pango > >>> pango.SCALE_ > pango.SCALE_LARGE pango.SCALE_SMALL pango.SCALE_XX_SMALL > pango.SCALE_X_SMALL > pango.SCALE_MEDIUM pango.SCALE_XX_LARGE pango.SCALE_X_LARGE > >>> pango.SCALE_LARGE > 1.2 > >>> pango.SCALE_SMALL > 0.8333333333333 > > > -- > Regards, > Olav >
_______________________________________________ desktop-devel-list mailing list desktop-devel-list@gnome.org https://mail.gnome.org/mailman/listinfo/desktop-devel-list
