[webkit-dev] Device and page scaling

Adam Barth abarth at webkit.org
Tue May 29 19:10:37 PDT 2012

On Tue, May 29, 2012 at 7:03 PM, Fady Samuel <fsamuel at chromium.org> wrote:
> This sounds good to me, but is there any reason why we can't support
> physical device changes (switching monitors) and support target-densitydpi?
> This would be highly desirable for us.

We can support that.  We just need to decide how to change the
effective device scale factor when the actual device scale factor


>> == Page::effectiveDeviceScaleFactor ==
>> Page::effectiveDeviceScaleFactor starts off as matching
>> Page::deviceScaleFactor but changes to reflect any target-densitydpi
>> directives.  It's unclear to me how Page::effectiveDeviceScaleFactor
>> should react when the underlying physical device changes its scaling
>> factor.  Currently, that shouldn't occur, so I'm inclined to add an
>> ASSERT and worry about it later.
>> == Settings::defaultDeviceScaleFactor ==
>> This variable will be deleted.
>> Thoughts?
>> Adam

More information about the webkit-dev mailing list