On Tue, 2011-03-08 at 23:12 +0100, Xan Lopez wrote: > Hi guys, me again > > after some months of back and forth we have decided that the minimum > font size pref in UI is pretty much a "allow me to shoot myself in the > foot" kind of thing for most people, so we'd like to remove it from > the UI and set a sane default that won't break the layout in random > pages. We'll leave the setting for those that want the old behavior. > > Again, a bit late in the game, but if that's OK I'll merge this and > roll another release ASAP so that Shaun can still have the goodies > before he leaves. > > The bug is: https://bugzilla.gnome.org/show_bug.cgi?id=644247
Not a big deal for the current manual. It's barely mentioned, and the section it's mentioned in is already a bit outdated. Updating is trivial. Longer term, I'd like to see more topic-oriented help, and for that we should put some thought into what kinds of font sizing issues users encounter on the web and how we can address those issues better. But it's not on my 3.0 list. -- Shaun _______________________________________________ gnome-doc-list mailing list [email protected] http://mail.gnome.org/mailman/listinfo/gnome-doc-list
