Home
last modified time | relevance | path

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

/plugin/mizarverifiabledocs/src/
H A Dscript.js586 const editorId = Object.keys(editors).find(
589 if (!decorationsPerEditor[editorId]) {
590 decorationsPerEditor[editorId] = [];
592 decorationsPerEditor[editorId].push(deco);
597 for (let editorId in decorationsPerEditor) {
598 const editor = editors[editorId];
599 const decorations = decorationsPerEditor[editorId];
/plugin/s5reloaded/ui/effects_support/
Dcontrols.js629 params.editorId = this.element.id;
/plugin/mizarveifiabledocs/dist/
Dscript.js.map1editorId = Object.keys($1df32a4945e9e156$var$editors).find((key)=>$1df32a4945e9e156$var$editors[ke…
/plugin/mizarproofchecker/dist/
Dscript.js.map1editorId = Object.keys($1df32a4945e9e156$var$editors).find((key)=>$1df32a4945e9e156$var$editors[ke…
/plugin/mizarverifiabledocs/dist/
H A Dscript.js.map1editorId = Object.keys($1df32a4945e9e156$var$editors).find((key)=>$1df32a4945e9e156$var$editors[ke…
/plugin/ckgedit/ckeditor/
Dckeditor.js.unc11442 editorId: a.id,
11687 …W = '\x3cdiv class\x3d"cke_reset_all {editorId} {editorDialogClass} {hidpi}" dir\x3d"{langDir}" la…
15114 …\x3d"{langCode}" id\x3d"{id}" dir\x3d{dir} class\x3d"cke cke_reset_all {editorId} cke_panel cke_pa…
15154 editorId: a.id,
Dckeditor.js580 …DITOR.addTemplate("dialog",V).output({id:CKEDITOR.tools.getNextNumber(),editorId:a.id,langDir:a.la… property
762 CKEDITOR.ui.panel.prototype={render:function(a,b){var e={editorId:a.id,id:this.id,langCode:a.langCo… property
/plugin/ckgdoku/ckeditor/
Dckeditor.js533 …DITOR.addTemplate("dialog",q).output({id:CKEDITOR.tools.getNextNumber(),editorId:a.id,langDir:a.la… property
707 …}else a=this.document.getById(this.id);this._.holder=a}return a};var l={editorId:c.id,id:this.id,l… property
/plugin/dirtylittlehelper/mermaid/editor/docs/
Dbundle.js.map1editorId, styleSheet) {\n this._parent = parent;\n this._editorId = editorId;\n …