[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
changes.

Adam


>> == 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