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.
Ross
--
Ross Burton mail: ross@burtonini.com
jabber: ross@jabber.debian.net
www: http://www.burtonini.com./
PGP Fingerprint: 1A21 F5B0 D8D0 CFE3 81D4 E25A 2D09 E447 D0B4 33DF
Attachment:
signature.asc
Description: This is a digitally signed message part