Re: How to change font size

["Benjamin M. Schwartz" <bmschwar fas harvard edu>]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Here's a snippet of python using PyGTK:

        self.value = gtk.Label()
        valuefont = pango.FontDescription()
        valuefont.set_family("monospace")
        valuefont.set_absolute_size(300*pango.SCALE)
        self.value.modify_font(valuefont)

- --Ben
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.7 (GNU/Linux)
Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org

iD8DBQFHPR/5UJT6e6HFtqQRArZsAJ94xXPnVJFePfIw/e0EgkOjCeFmcACfUVeK
PuizFPs3Q33S/Y5G2yZP2lE=
=dYJp
-----END PGP SIGNATURE-----