[Webkit-unassigned] [Bug 18281] [GTK] add functions to set/get the zoom level

bugzilla-daemon at webkit.org bugzilla-daemon at webkit.org
Mon Apr 7 08:48:10 PDT 2008


http://bugs.webkit.org/show_bug.cgi?id=18281





------- Comment #8 from christian at imendio.com  2008-04-07 08:48 PDT -------
(In reply to comment #7)
> (In reply to comment #6)
> > Why is that? I don't concider the two options mutually exclusive from a user's
> > point of view. Of course if this just doesn't work out for technical reasons we
> > can't do much about it.
> 
> WebCore doesn't allow them to be used together, I don't know if it's a just
> limitation or if there are good reasons. My idea is that the user should not
> some UI to handle both and it would be very confusing: "hey why do I have to
> separate zoom in buttons?".
> IMHO if the user always wants bigger fonts it can set them, otherwise he sould
> just get full page zoom (at least when webkit is used for a web browser).

Agreed, the interface for the two means of zooming could be a problem. It might
be desirable to get one or two opinions from the mac port crew on this. Or even
any more opinions to have a clearer vision before deciding this.


-- 
Configure bugmail: http://bugs.webkit.org/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the assignee for the bug, or are watching the assignee.



More information about the webkit-unassigned mailing list