upstream/ipython Files · IPython/frontend/html/notebook/static/components/codemirror/demo/loadmode.html

Copying CodeMirror's python mode into place for our ipython mode.

Brian E. Granger - - Load All Authors

File last commit:

r10407:f6bdcd19


                r10415:66de4c53

Download file

             loadmode.html
        
                    40 lines
            
             | 1.3 KiB
            
                | text/html
            
             |
                HtmlLexer
            
             / IPython / frontend / html / notebook / static / components / codemirror / demo / loadmode.html
          
                    History
                
                 |
                  Annotation
                 | Raw
                 |Copy content
                 |Copy permalink

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

	Site-wide shortcuts
/	Use quick search box
g h	Goto home page
g g	Goto my private gists page
g G	Goto my public gists page
g 0-9	Goto bookmarked items from 0-9
n r	New repository page
n g	New gist page

	Repositories
g s	Goto summary page
g c	Goto changelog page
g f	Goto files page
g F	Goto files page with file search activated
g p	Goto pull requests page
g o	Goto repository settings
g O	Goto repository access permissions settings
t s	Toggle sidebar on some pages

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