diff options
Diffstat (limited to 'codemirror_ui/lib/CodeMirror-2.3/demo/loadmode.html')
-rw-r--r-- | codemirror_ui/lib/CodeMirror-2.3/demo/loadmode.html | 39 |
1 files changed, 39 insertions, 0 deletions
diff --git a/codemirror_ui/lib/CodeMirror-2.3/demo/loadmode.html b/codemirror_ui/lib/CodeMirror-2.3/demo/loadmode.html new file mode 100644 index 0000000..3d7015e --- /dev/null +++ b/codemirror_ui/lib/CodeMirror-2.3/demo/loadmode.html @@ -0,0 +1,39 @@ +<!doctype html> +<html> + <head> + <title>CodeMirror: Lazy Mode Loading Demo</title> + <link rel="stylesheet" href="../lib/codemirror.css"> + <script src="../lib/codemirror.js"></script> + <script src="../lib/util/loadmode.js"></script> + <link rel="stylesheet" href="../doc/docs.css"> + + <style type="text/css"> + .CodeMirror {border-top: 1px solid black; border-bottom: 1px solid black;} + </style> + </head> + <body> + <h1>CodeMirror: Lazy Mode Loading</h1> + + <form><textarea id="code" name="code">This is the editor. +// It starts out in plain text mode, +# use the control below to load and apply a mode + "you'll see the highlighting of" this text /*change*/. +</textarea></form> +<p><input type=text value=javascript id=mode> <button type=button onclick="change()">change mode</button></p> + + <script> +CodeMirror.modeURL = "../mode/%N/%N.js"; +var editor = CodeMirror.fromTextArea(document.getElementById("code"), { + lineNumbers: true +}); +var modeInput = document.getElementById("mode"); +CodeMirror.connect(modeInput, "keypress", function(e) { + if (e.keyCode == 13) change(); +}); +function change() { + editor.setOption("mode", modeInput.value); + CodeMirror.autoLoadMode(editor, modeInput.value); +} +</script> + </body> +</html> |