Re: annoying changes in gnome-terminal
<quote who="Miles Bader">
> Jeff Waugh <email@example.com> 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.
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