[pygtk] How to increase font size of all widgets

[Ed Catmur]

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