Re: Comments on the new gnome-terminal.
Alex Malinovich said:
> On Fri, 2002-06-28 at 14:11, Alan Shutko wrote:
>> Alex Malinovich <demonbane@the-love-shack.net> 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 debian-user-request@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmaster@lists.debian.org
Reply to: