On Tue, Feb 7, 2012 at 3:29 AM, Carlos Garcia Campos <[email protected]> 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 _______________________________________________ webkit-gtk mailing list [email protected] http://lists.webkit.org/mailman/listinfo.cgi/webkit-gtk
