On Wed, Nov 20, 2002 at 08:08:36PM +0100, Josep Monés i Teixidor wrote:
> I haven't been able to find where to override default font without
> tweaking the theme itself though. Can anybody tell?
Putting something like this at the end of yout .gtkrc should work:
style "user-font"
{
fontset="-microsoft-trebuchet ms-medium-r-normal-*-*-100-*-*-p-*-iso8859-15"
}
widget_class "*" style "user-font"
Peter De Wachter