Re: main popup menu font size

On Saturday 29 September 2012 00:44:24 Daniel Fetchinson wrote:
> 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"

-- 
Sawfish ML