Home
last modified time | relevance | path

Searched refs:yMargin (Results 1 – 9 of 9) sorted by relevance

/plugin/mizarverifiabledocs/dist/
H A Dscript.js1yMargin=n,this.xMargin=s,this.isSnapshot=r}map(t){return t.empty?this:new im(this.range.map(t),thi… property
H A Dscript.js.map1yMargin, ltr) {\n let doc = dom.ownerDocument, win = doc.defaultView || window;\n for(let cu…
/plugin/mizarveifiabledocs/dist/
Dscript.js1yMargin=s,this.xMargin=n,this.isSnapshot=r}map(t){return t.empty?this:new iv(this.range.map(t),thi…
Dscript.js.map1yMargin, ltr) {\n let doc = dom.ownerDocument, win = doc.defaultView || window;\n for(let cu…
/plugin/mizarproofchecker/dist/
Dscript.js1yMargin=s,this.xMargin=n,this.isSnapshot=r}map(t){return t.empty?this:new iv(this.range.map(t),thi…
Dscript.js.map1yMargin, ltr) {\n let doc = dom.ownerDocument, win = doc.defaultView || window;\n for(let cu…
/plugin/bpmnio/vendor/dmn-js/dist/
Ddmn-viewer.production.min.js16yMargin=i,this.xMargin=r,this.isSnapshot=o}map(e){return e.empty?this:new ud(this.range.map(e),thi…
Ddmn-navigated-viewer.production.min.js16yMargin=i,this.xMargin=r,this.isSnapshot=o}map(e){return e.empty?this:new Id(this.range.map(e),thi…
/plugin/openlayersmap/ol/
Dol.js.map1yMargin = this._allDistMargin(node, m, M, compareMinY);\n\n // if total distributions margi…