| /external/webkit/Source/WebKit/gtk/webkit/ |
| webkitviewportattributesprivate.h | 44 float devicePixelRatio;
|
| webkitviewportattributes.cpp | 430 viewport->priv->devicePixelRatio = -1;
475 g_value_set_float(value, priv->devicePixelRatio);
544 priv->devicePixelRatio = attributes.devicePixelRatio;
|
| /external/webkit/Source/WebKit/win/Interfaces/ |
| DOMWindow.idl | 60 //readonly attribute double devicePixelRatio;
61 HRESULT devicePixelRatio([out, retval] double* result);
|
| /external/webkit/Source/WebCore/dom/ |
| ViewportArguments.cpp | 69 result.devicePixelRatio = float(deviceDPI / args.targetDensityDpi);
72 if (result.devicePixelRatio != 1.0) {
73 availableWidth /= result.devicePixelRatio;
74 availableHeight /= result.devicePixelRatio;
75 deviceWidth /= result.devicePixelRatio;
76 deviceHeight /= result.devicePixelRatio;
|
| ViewportArguments.h | 48 float devicePixelRatio;
|
| /external/webkit/Tools/EWebLauncher/ |
| main.c | 146 float devicePixelRatio;
435 float w, h, initScale, minScale, maxScale, devicePixelRatio;
438 ewk_view_viewport_attributes_get(webview, &w, &h, &initScale, &maxScale, &minScale, &devicePixelRatio, &userScalable);
453 if ((int)devicePixelRatio == -1)
454 devicePixelRatio = ewk_view_device_pixel_ratio_get(webview);
463 app->viewport.devicePixelRatio = devicePixelRatio;
|
| /external/webkit/Source/WebKit2/UIProcess/API/qt/ |
| qwkpage.h | 63 inline qreal devicePixelRatio() const { return m_devicePixelRatio; };
|
| qwkpage.cpp | 572 result.m_devicePixelRatio = conf.devicePixelRatio;
|
| /external/webkit/Source/WebKit/qt/Api/ |
| qwebpage.h | 227 inline qreal devicePixelRatio() const { return m_devicePixelRatio; }
|
| qwebpage.cpp | [all...] |
| /external/webkit/Source/WebCore/page/ |
| DOMWindow.h | 216 double devicePixelRatio() const;
|
| DOMWindow.idl | 159 attribute [Replaceable] double devicePixelRatio;
[all...] |
| DOMWindow.cpp | [all...] |
| /external/webkit/Source/WebKit/efl/ewk/ |
| ewk_view.cpp | [all...] |
