Home
last modified time | relevance | path

Searched refs:toggleFold (Results 1 – 5 of 5) sorted by relevance

/plugin/aceeditor/
Dbuild.js1 …toggleFold=function(e){var t=this.selection,n=t.getRange(),r,i;if(n.isEmpty()){var s=n.start;r=thi… method
/plugin/mizarveifiabledocs/dist/
Dscript.js.map1 …toggleFold = (view) => {\n let effects = [];\n for (let line of selectedLines(view)) {\n …
/plugin/mizarproofchecker/dist/
Dscript.js.map1 …toggleFold = (view) => {\n let effects = [];\n for (let line of selectedLines(view)) {\n …
/plugin/mizarverifiabledocs/dist/
H A Dscript.js.map1 …toggleFold = (view) => {\n let effects = [];\n for (let line of selectedLines(view)) {\n …
/plugin/dirtylittlehelper/mermaid/editor/docs/
Dbundle.js.map1 …ction {\n constructor() {\n super({\n id: 'editor.toggleFold',\n l…