>> I just installed fedora 17 and was happy to notice that sawfish was
>> available from the repos, yaay!
>> Everything works great, the only problem I have is that the main popup
>> menu is too small now and would like to increase the font size. How
>> would I do that?
>>
>> Cheers,
>> Daniel
>
> It's an ordinary GTK+ widget, it uses font sizes as defined by a settings-
> daemon or $HOME/.gtkrc-2.0 --- try something like this in gtkrc-2.0:
>
> style "font"
> {
> font_name = "Corbel 8"
> }
> widget_class "*" style "font"
> gtk-font-name = "Devaju 8"
>
Great, thanks a lot Chris!
Cheers,
Daniel
--
Psss, psss, put it down! - http://www.cafepress.com/putitdown
--
Sawfish ML
