[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Re: annoying changes in gnome-terminal

<quote who="Miles Bader">

> Jeff Waugh <jdub@perkypants.org> writes:
> > > Um, OK, but that doesn't really tell me anything -- this release seems
> > > to have _broken_ font sizes, not fixed them.
> > 
> > They've changed back, but they shouldn't be broken. You're now "back to
> > normal", basically.
> So, `normal' is (1) has oddly unintuitive font sizing (for vera sans mono,
> big jump between font sizes 8 and 9, font sizes 9 and 10 exactly the same
> width, but different heights), and (2) different than other gnome apps (in
> which font sizing seems to behave more intuitively)?
> Or is there likely to be something wrong with my particular setup?

No, that is "back to normal" for 0.10.x.

- Jeff

linux.conf.au 2004: Adelaide, Australia         http://lca2004.linux.org.au/
   "The ability to procrastinate is what separates us from the machines."
                     - Chris Gregory, Desktop Magazine

Reply to: