Alex Malinovich said: > 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
I believe the release notes for Gnome-2 say that you have to exit to get changes to take effect, and that this will be fixed for the next (minor) release. Have a look at the release notes. They say the purposely removed many configuration options throughout Gnome. ...RickM... -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
