Re: Permission to merge preferences UI change

[Shaun McCance <shaunm gnome org>]

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