Home
last modified time | relevance | path

Searched refs:pixelRatio (Results 1 – 11 of 11) sorted by relevance

/plugin/openlayersmap/ol7/
H A Dol.js.map
/plugin/ol3/
H A Dscript.js8 …pixelRatio?e.pixelRatio:Vi,r.postRenderTimeoutHandle_,r.animationDelayKey_,r.animationDelay_=funct… property in r.frameState_
/plugin/pdfjs/pdfjs/web/
H A Dviewer.js3534 var pixelRatio = devicePixelRatio / backingStoreRatio;
3536 sx: pixelRatio,
3537 sy: pixelRatio,
3538 scaled: pixelRatio !== 1
H A Dviewer.js.map1 …pixelRatio","sx","sy","scaled","skipOverflowHiddenElements","parent","element","offsetY","offsetX"…
/plugin/dirtylittlehelper/mermaid/editor/docs/
H A Deditor.worker.js1 …d=113]="showDeprecated",e[e.editorClassName=114]="editorClassName",e[e.pixelRatio=115]="pixelRatio…
H A Dbundle.js.map1 …pixelRatio: browser.getPixelRatio(),\n zoomLevel: browser.getZoomLevel(),\n …
H A Dbundle.js396 …pixelRatio=n,this.domNode=L(".colorpicker-body"),d.p(e,this.domNode),this.saturationBox=new E(this…
426 …d=113]="showDeprecated",e[e.editorClassName=114]="editorClassName",e[e.pixelRatio=115]="pixelRatio…
H A Deditor.worker.js.map1 …4] = \"editorClassName\";\n EditorOption[EditorOption[\"pixelRatio\"] = 115] = \"pixelRatio\";\…
H A Djson.worker.js.map1 …4] = \"editorClassName\";\n EditorOption[EditorOption[\"pixelRatio\"] = 115] = \"pixelRatio\";\…
/plugin/dirtylittlehelper/mermaid/editor/
H A Deditor.worker.js1 …d=113]="showDeprecated",e[e.editorClassName=114]="editorClassName",e[e.pixelRatio=115]="pixelRatio…
H A Dbundle.js396 …pixelRatio=n,this.domNode=L(".colorpicker-body"),d.p(e,this.domNode),this.saturationBox=new E(this…
426 …d=113]="showDeprecated",e[e.editorClassName=114]="editorClassName",e[e.pixelRatio=115]="pixelRatio…