On Thu, 2012-02-02 at 19:54 +0100, Xan wrote:
On Thu, Feb 2, 2012 at 6:36 PM, Carlos Garcia Campos cgar...@igalia.com
wrote:
Does not look like the most elegant API in the world to me.
Agree, problem is, what is the effective zoom initially when both scale
factor are 1?
Yes. I guess
El mar, 07-02-2012 a las 12:10 +0100, Mario Sanchez Prada escribió:
On Thu, 2012-02-02 at 19:54 +0100, Xan wrote:
On Thu, Feb 2, 2012 at 6:36 PM, Carlos Garcia Campos cgar...@igalia.com
wrote:
Does not look like the most elegant API in the world to me.
Agree, problem is, what is the
On Tue, 2012-02-07 at 12:29 +0100, Carlos Garcia Campos wrote:
[...]
That use case is typically implemented changing the font size, instead
of scaling the text.
Ok then. I knew I was missing something... :)
Mario
___
webkit-gtk mailing list
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 cgar...@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
On Tue, Feb 7, 2012 at 7:50 AM, Carlos Garcia Campos cgar...@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
Quoth Carlos Garcia Campos wrote:
That use case is typically implemented changing the font size,
instead of scaling the text.
Does that work if the page designer has specified font sizes in an absolute
unit such as px rather than a relative one such as em? Without completely
overriding the
