[webkit-dev] Settings::devicePixelRatio and Settings::defaultDeviceScaleFactor

[Adam Barth]

Is there any difference between Settings::devicePixelRatio [1] and
Settings::defaultDeviceScaleFactor [2] ?  They appear to be used by
disjoint sets of ports.  Shall we delete one in favor of the other?

Adam

[1] http://trac.webkit.org/browser/trunk/Source/WebCore/page/Settings.h#L478
[2] http://trac.webkit.org/browser/trunk/Source/WebCore/page/Settings.h#L106