Re: annoying changes in gnome-terminal

[Christian Marillat <marillat.christian@wanadoo.fr>]

Ross Burton <ross@burtonini.com> writes:

> On Wed, 2003-05-07 at 02:58, Miles Bader wrote:
> 1. In gnome terminal I've been using the font `Bitstream Vera Sans Mono 10',
>    which was a good size for me.  However after doing an apt-get upgrade
>    from unstable yesterday (the actual change may have been earlier, as I
>    just got back from a week-long holiday; my previous `working' apt-get
>    upgrade was a little over a week ago), it now is _not_ a good size, it's
>    suddenly much bigger.
> [snip]

> Try upgrading again, vte (the terminal library) is in development mode
> (really 0.11.x shouldn't have been uploaded) and started ignoring the
> DPI of the screen.  I believe a new vte was uploaded yesterday which
> should fix this issue.

Since when you have not did an upgrade ? The current libvte4 in unstable
is 0.10.27

Christian