[webkit-gtk] WebKit2 zoom API (II)
Mario Sanchez Prada
msanchez at igalia.com
Tue Feb 7 03:20:53 PST 2012
On Tue, 2012-02-07 at 12:10 +0100, Mario Sanchez Prada wrote:
> [...]
> 5. End result would be:
> - orig. zoom level: 1.0 |
> - text zoom level: 1.5x |=> effective text zoom level: 2.4x
> - page zoom level: 2.0x |
Of course, the effective text zoom level would be 3.0x, not 2.4x (which
seems it was a number still in my mind after reading Gavin Lambert's
mail) :-)
Mario
More information about the webkit-gtk
mailing list