Re: (no subject) -> Can't change default font, bug #81677

[John Iverson <johni flash net>]

On Sun 10 Aug 2003 at 05:22pm -0700, Garrett P. McLean wrote:

> to be clear: i'm running sawfish-ui and trying to change the default
> font for the wm. what appears to be happening is that it's keeping
> whatever's already in the field and appending whatever option i chose
> and then complaining that it can't find the font (because it's looking
> for arial-times or whatever the combination of the default and what i
> chose is). i hope this makes sense. feel free to ask questions and give
> answers if you know how i can fix this and be able to change font for
> sawfish!!!

Appears to be a known bug:
http://bugzilla.gnome.org/show_bug.cgi?id=81677

-- 
John