diff options
| author | Wu Cheng-Han | 2016-01-17 14:28:04 -0600 |
|---|---|---|
| committer | Wu Cheng-Han | 2016-01-17 14:28:04 -0600 |
| commit | eaa8ccaccb1091820d0a8d1223996a6dd057347d (patch) | |
| tree | 6b4aaa3b3d1a2fed68147510142663222533775a /public/vendor/codemirror/mode/mumps | |
| parent | ce65e58096d57ace02723d11a125673f9d48c293 (diff) | |
Upgrade CodeMirror to 5.10.1 and now support fullscreen, jump-to-line in editor
Diffstat (limited to 'public/vendor/codemirror/mode/mumps')
| -rw-r--r--[-rwxr-xr-x] | public/vendor/codemirror/mode/mumps/index.html | 4 | ||||
| -rw-r--r--[-rwxr-xr-x] | public/vendor/codemirror/mode/mumps/mumps.js | 0 |
2 files changed, 2 insertions, 2 deletions
diff --git a/public/vendor/codemirror/mode/mumps/index.html b/public/vendor/codemirror/mode/mumps/index.html index bd1f69ae..b1f92c21 100755..100644 --- a/public/vendor/codemirror/mode/mumps/index.html +++ b/public/vendor/codemirror/mode/mumps/index.html @@ -1,4 +1,4 @@ -<!doctype html> +<!doctype html> <title>CodeMirror: MUMPS mode</title> <meta charset="utf-8"/> @@ -73,7 +73,7 @@ SET2() ;EF. Return error code (also called from XUSRB) IF '$LENGTH($PIECE(XUSER(1),U,2)) QUIT 21 ;p419, p434 Q 0 ; - </textarea> + </textarea></div> <script> var editor = CodeMirror.fromTextArea(document.getElementById("code"), { mode: "mumps", diff --git a/public/vendor/codemirror/mode/mumps/mumps.js b/public/vendor/codemirror/mode/mumps/mumps.js index 469f8c3d..469f8c3d 100755..100644 --- a/public/vendor/codemirror/mode/mumps/mumps.js +++ b/public/vendor/codemirror/mode/mumps/mumps.js |