Home
last modified time | relevance | path

Searched refs:matchBrackets (Results 1 – 14 of 14) sorted by relevance

/plugin/projects/
Dscript.js38 matchBrackets: true, property
Dcodemirror-compressed.js1matchBrackets&&setTimeout(pi(function(){Qt&&(Qt(),Qt=null),nt(At.from,At.to)&&ii(!1)}),20);var o=U… property
/plugin/codemirror/dist/
Dscripts.min.js6matchBrackets.maxHighlightLineLength||1e3;var h=[],i=a.listSelections();for(var j=0;j<i.length;j++…
Dscripts.min.js.map1matchBrackets","autoclear","maxHighlightLen","maxHighlightLineLength","marks","doMatchBrackets","c…
/plugin/dirtylittlehelper/mermaid/editor/docs/
Deditor.worker.js1 …neNumbersMinChars=53]="lineNumbersMinChars",e[e.links=54]="links",e[e.matchBrackets=55]="matchBrac…
Deditor.worker.js.map1 …\"] = 54] = \"links\";\n EditorOption[EditorOption[\"matchBrackets\"] = 55] = \"matchBrackets\"…
Djson.worker.js.map1 …\"] = 54] = \"links\";\n EditorOption[EditorOption[\"matchBrackets\"] = 55] = \"matchBrackets\"…
Dbundle.js.map1matchBrackets = options.matchBrackets;\n if (matchBrackets === true) {\n options.matchBr…
Dbundle.js426 …neNumbersMinChars=53]="lineNumbersMinChars",e[e.links=54]="links",e[e.matchBrackets=55]="matchBrac…
/plugin/dirtylittlehelper/mermaid/editor/
Deditor.worker.js1 …neNumbersMinChars=53]="lineNumbersMinChars",e[e.links=54]="links",e[e.matchBrackets=55]="matchBrac…
Dbundle.js426 …neNumbersMinChars=53]="lineNumbersMinChars",e[e.links=54]="links",e[e.matchBrackets=55]="matchBrac…
/plugin/mizarverifiabledocs/dist/
H A Dscript.js.map1matchBrackets, syntaxTree, getIndentUnit, indentUnit } from '@codemirror/language';\nimport { Node…
/plugin/mizarveifiabledocs/dist/
Dscript.js.map1matchBrackets(tr.state, range.head, -1, config)\n || (range.head > 0 && matchBracke…
/plugin/mizarproofchecker/dist/
Dscript.js.map1matchBrackets(tr.state, range.head, -1, config)\n || (range.head > 0 && matchBracke…