On Mon, Sep 18, 2006 at 15:06:31 -0600, edwardsa wrote: >I just upgraded a laptop running stable to testing and the gnome >terminal seems partially broken. There is now task bar with "File >Edit ..." Also, the font is rather large and stuck. Is there a config >file through which I can change this? The look of gnome-terminal is controlled through profiles. Under Edit->Profiles... you can create, delete, and modify profiles. /M -- Magnus Therning (OpenPGP: 0xAB4DFBA4) magnus@therning.org Jabber: magnus.therning@gmail.com http://therning.org/magnus Software is not manufactured, it is something you write and publish. Keep Europe free from software patents, we do not want censorship by patent law on written works. `Ford, you're turning into a penguin. Stop it.' -- Arthur experiences the improbability drive at work.
Attachment:
pgpgeZJwKxx_3.pgp
Description: PGP signature