| 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>
 |