On Tue, 2007-01-30 at 10:55 +0100, Volker Helm wrote: > Hi, > > I stumbled over a problem, that some people didn't like to use their googles > or lenses. > So I need to increase the size of the widget fonts by a factor. > I tried to do it with pango. For me it is only working when I define for each > widget a new class where the new size is defined. > Are there some general methods for it (I'd prefer not to generate a new gtkrc > file for each user).
How about: gtk.settings_get_default().props.gtk_font_name = "Sans 15" or gtk.settings_get_default().props.gtk_xft_dpi *= 1.5 Ed _______________________________________________ pygtk mailing list [email protected] http://www.daa.com.au/mailman/listinfo/pygtk Read the PyGTK FAQ: http://www.async.com.br/faq/pygtk/
