<quote who="Miles Bader"> > Jeff Waugh <[EMAIL PROTECTED]> 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
