El mar, 07-02-2012 a las 06:47 -0800, Martin Robinson escribió: > 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.
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. > --Martin > -- Carlos Garcia Campos http://pgp.rediris.es:11371/pks/lookup?op=get&search=0xF3D322D0EC4582C3
signature.asc
Description: This is a digitally signed message part
_______________________________________________ webkit-gtk mailing list [email protected] http://lists.webkit.org/mailman/listinfo.cgi/webkit-gtk
