[pygtk] How to increase font size of all widgets

[Volker Helm]

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"

I tried it, but it doesn't seem to work. Is it enough to code something like this?

...
import gtk
gtk.settings_get_defautl().props.gtk_font_name = "Arial 20"
...


> or
> 
> gtk.settings_get_default().props.gtk_xft_dpi *= 1.5

Doesn't work on WinXP, hadn't had the time to test it on Unix. property gtk_xft_dpi doesn't exit on Win32.

Bye,

Volker
-- 
Der GMX SmartSurfer hilft bis zu 70% Ihrer Onlinekosten zu sparen! 
Ideal für Modem und ISDN: http://www.gmx.net/de/go/smartsurfer