[webkit-gtk] WebKit2 zoom API (II)

[Gustavo Noronha Silva]

On Tue, 2012-02-07 at 09:45 -0800, Martin Robinson wrote:
> On Tue, Feb 7, 2012 at 7:50 AM, Carlos Garcia Campos <cgarcia at igalia.com> wrote:
> > I think text zoom is to scale the text but not the page contents, that's
> > how all webkitgtk embedders I've seen use it.
> 
> What I meant here is that changing the default font size is not a
> great way to zoom the page. I imagine it will break layout in some
> cases. Perhaps I misunderstood what you were saying though.

Changing font size for one page for all text keeping their relative
sizes untouched is not only impractical but nearly impossible, I think.
That's why text zoom exists, but text zoom and font size both have the
ability to break layouts, that's a fact, so I don't think that
particular concern gives any of these an advantage.

-- 
Gustavo Noronha Silva <gns at gnome.org>
GNOME Project