OpenGrok
Home
Sort by relevance
Sort by last modified time
Full Search
Definition
Symbol
File Path
History
|
|
Help
Searched
refs:devicePixelRatio
(Results
1 - 17
of
17
) sorted by null
/external/chromium_org/third_party/WebKit/Source/core/css/
MediaFeatureNames.h
41
macro(
devicePixelRatio
, "-webkit-device-pixel-ratio") \
/external/chromium_org/third_party/WebKit/Source/devtools/front_end/
TimelineOverviewPane.js
442
this._canvas.width = this.element.clientWidth * window.
devicePixelRatio
;
443
this._canvas.height = this.element.clientHeight * window.
devicePixelRatio
;
620
const stripPadding = 4 * window.
devicePixelRatio
;
651
this._outerPadding = 4 * window.
devicePixelRatio
;
652
this._maxInnerBarWidth = 10 * window.
devicePixelRatio
;
655
this._actualPadding = 5 * window.
devicePixelRatio
;
675
const minBarWidth = 4 * window.
devicePixelRatio
;
681
const paddingTop = 4 * window.
devicePixelRatio
;
753
const maxPadding = 5 * window.
devicePixelRatio
;
781
this._context.font = (10 * window.
devicePixelRatio
) + "px " + window.getComputedStyle(this.element, null).getPropertyValue("font-family")
[
all
...]
FlameChart.js
514
var cursorLevel = Math.floor((this._canvas.height / window.
devicePixelRatio
- y) / this._barHeight);
553
var ratio = window.
devicePixelRatio
;
590
anchorBox.y = this._canvas.height / window.
devicePixelRatio
- (entry.depth + 1) * this._barHeight;
611
var ratio = window.
devicePixelRatio
;
HeapSnapshotView.js
[
all
...]
/external/chromium_org/chrome/renderer/resources/extensions/
searchbox_api.js
105
window.
devicePixelRatio
+ "x/" +
/external/chromium_org/third_party/WebKit/Source/core/page/
DOMWindow.h
213
double
devicePixelRatio
() const;
Window.idl
139
[Replaceable] readonly attribute double
devicePixelRatio
;
DOMWindow.cpp
[
all
...]
/external/chromium_org/ui/webui/resources/js/
util.js
53
supportedScaleFactors.push(window.
devicePixelRatio
);
291
window.
devicePixelRatio
+ 'x/' + url;
/external/chromium_org/remoting/webapp/
client_session.js
678
window.
devicePixelRatio
);
847
window.
devicePixelRatio
);
889
window.
devicePixelRatio
);
[
all
...]
/external/chromium_org/chrome/browser/resources/file_manager/js/image_editor/
viewport.js
298
Viewport.getDevicePixelRatio = function() { return window.
devicePixelRatio
};
303
* This conversion enlarges the original rectangle
devicePixelRatio
times
image_view.js
926
* for
devicePixelRatio
.
989
* should be given in device coordinates (accounting for
devicePixelRatio
).
[
all
...]
/external/chromium_org/third_party/WebKit/Source/core/testing/
Internals.h
152
String configurationForViewport(Document*, float
devicePixelRatio
, int deviceWidth, int deviceHeight, int availableWidth, int availableHeight, ExceptionState&);
Internals.idl
106
float
devicePixelRatio
,
/external/chromium_org/chrome/browser/resources/downloads/
downloads.js
272
window.
devicePixelRatio
+ 'x';
401
var scale = window.
devicePixelRatio
;
466
'?scale=' + window.
devicePixelRatio
+ 'x');
/external/chromium-trace/
script.js
[
all
...]
/external/chromium_org/chrome/browser/resources/ntp_android/
ntp_android.js
613
iconUrl = 'chrome://touch-icon/size/16@' + window.
devicePixelRatio
+
[
all
...]
Completed in 1348 milliseconds