On Fri, 2002-06-28 at 14:11, Alan Shutko wrote:
> Alex Malinovich <[EMAIL PROTECTED]> writes:
> 
> > Is there a config file for this terminal anywhere that I can edit by
> > hand so I can at least get a working font set up?
> 
> ~/.gconf/apps/gnome-terminal/profiles/Default/%gconf.xml
> 
> I'm sure there's some way to get gconftool to do it, but I couldn't
> figure out how.

Are you having any luck getting any changes in there to actually stick?
I've found the x_font line, but changing the font doesn't have any
effect. Changing the font from within the terminal works after I restart
the terminal, but the change is never reflected in %gconf.xml

Ideas?

-Alex

Attachment: signature.asc
Description: This is a digitally signed message part

Reply via email to