| 12345678910111213141516171819202122232425262728293031323334353637383940 | 
							- <!doctype html>
 
- <html>
 
-   <head>
 
-     <meta charset="utf-8">
 
-     <title>CodeMirror: Lazy Mode Loading Demo</title>
 
-     <link rel="stylesheet" href="../lib/codemirror.css">
 
-     <script src="../lib/codemirror.js"></script>
 
-     <script src="../addon/mode/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.on(modeInput, "keypress", function(e) {
 
-   if (e.keyCode == 13) change();
 
- });
 
- function change() {
 
-    editor.setOption("mode", modeInput.value);
 
-    CodeMirror.autoLoadMode(editor, modeInput.value);
 
- }
 
- </script>
 
-   </body>
 
- </html>
 
 
  |