[webkit-dev] Device and page scaling
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.
More information about the webkit-dev