Re: annoying changes in gnome-terminal

To: debian-gtk-gnome@lists.debian.org
Subject: Re: annoying changes in gnome-terminal
From: Christian Marillat <marillat.christian@wanadoo.fr>
Date: Wed, 07 May 2003 12:51:06 +0200
Message-id: <[🔎] 878ytjuj1h.fsf@falcon.wanadoo.fr>
Mail-followup-to: debian-gtk-gnome@lists.debian.org
Reply-to: debian-gtk-gnome@lists.debian.org
In-reply-to: <[🔎] 1052301223.21236.8.camel@carados.180sw.com> (Ross Burton's message of "07 May 2003 10:53:44 +0100")
References: <[🔎] buoissn8qm7.fsf@mcspd15.ucom.lsi.nec.co.jp> <[🔎] 1052298532.21236.2.camel@carados.180sw.com> <[🔎] 8765onw0xq.fsf@falcon.wanadoo.fr> <[🔎] 1052301223.21236.8.camel@carados.180sw.com>

Ross Burton <ross@burtonini.com> writes:

[...]

> I've heard that the latest 0.11.x fixes these issues, but also links to
> libGL if it can... Nalin must be smoking something strong...

Yes I've seen that. I hate AA fonts in gnome-terminal then now if you need
GL to display a terminal prompt...

Christian

Reply to:

Follow-Ups:
- Re: annoying changes in gnome-terminal
  - From: Jeff Waugh <jdub@perkypants.org>

References:
- annoying changes in gnome-terminal
  - From: Miles Bader <miles@lsi.nec.co.jp>
- Re: annoying changes in gnome-terminal
  - From: Ross Burton <ross@burtonini.com>
- Re: annoying changes in gnome-terminal
  - From: Christian Marillat <marillat.christian@wanadoo.fr>
- Re: annoying changes in gnome-terminal
  - From: Ross Burton <ross@burtonini.com>

Prev by Date: Re: annoying changes in gnome-terminal
Next by Date: Re: annoying changes in gnome-terminal
Previous by thread: Re: annoying changes in gnome-terminal
Next by thread: Re: annoying changes in gnome-terminal
Index(es):
- Date
- Thread