Searched refs:indentMore (Results 1 – 4 of 4) sorted by relevance
| /plugin/projects/ |
| D | codemirror-compressed.js | 1 ….deleteH(1,"word")},indentAuto:function(e){e.indentSelection("smart")},indentMore:function(e){e.in…
|
| /plugin/mizarverifiabledocs/dist/ |
| H A D | script.js.map | 1 …indentMore`](https://codemirror.net/6/docs/ref/#commands.indentMore) to indent the entire\nselecti…
|
| /plugin/codemirror/dist/ |
| D | scripts.min.js | 4 …(1,"group")},indentAuto:function(a){return a.indentSelection("smart")},indentMore:function(a){retu… method
|
| D | scripts.min.js.map | 1 …indentMore","indentLess","insertTab","insertSoftTab","spaces","defaultTab","execCommand","transpos…
|