[webkit-gtk] WebKit2 zoom API (II)

[Martin Robinson]

On Tue, Feb 7, 2012 at 3:29 AM, Carlos Garcia Campos <cgarcia at igalia.com> wrote:
> That use case is typically implemented changing the font size, instead
> of scaling the text.

Is this just in WebKitGTK+ embedders? I think text zoom exists just
for these situations in particular, so I would wager it's a mistake in
the code.

--Martin