upstream/ipython Files · IPython/frontend/html/notebook/static/codemirror/mode/javascript/index.html

Improved MathJax, missing callback workaround...

Improved MathJax, missing callback workaround MathJax.InputJax.TeX.resetEquationNumbers is supposed to be available, but isn't consistently loaded before the notebook fires off its first re-render request. The code edits in mathjaxutils.js fix this issue. Additionally, there was some init code in mathjaxutils.js that has been properly excised to the html templates. Removed some orphan rendering code so that all typesetting now goes through mathjaxutils.js Finally, removed an extra cell in the demo notebook.

Matthias BUSSONNIER - - Load All Authors

File last commit:

r8053:58574fbf


                r8659:9e186f76

Download file

             index.html
        
                    77 lines
            
             | 2.5 KiB
            
                | text/html
            
             |
                HtmlLexer
            
             / IPython / frontend / html / notebook / static / codemirror / mode / javascript / index.html
          
                    History
                
                 |
                  Source
                 | Raw
                 |Copy content
                 |Copy permalink

        Brian E. Granger
    
Updating CodeMirror to v 2.12....

              r4504
            
      <!doctype html>

      <html>

        <head>

        Brian Granger
    
Updating to CodeMirror 2.2, latest stable release.

              r5941
            
          <title>CodeMirror: JavaScript mode</title>

        Brian E. Granger
    
Updating CodeMirror to v 2.12....

              r4504
            
          <link rel="stylesheet" href="../../lib/codemirror.css">

          <script src="../../lib/codemirror.js"></script>

          <script src="javascript.js"></script>

        Brian Granger
    
Updating to CodeMirror 2.2, latest stable release.

              r5941
            
          <link rel="stylesheet" href="../../doc/docs.css">

        Brian E. Granger
    
Updating CodeMirror to v 2.12....

              r4504
            
          <style type="text/css">.CodeMirror {border-top: 1px solid black; border-bottom: 1px solid black;}</style>

        </head>

        <body>

        Brian Granger
    
Updating to CodeMirror 2.2, latest stable release.

              r5941
            
          <h1>CodeMirror: JavaScript mode</h1>

        Brian E. Granger
    
Updating CodeMirror to v 2.12....

              r4504
            
      <div><textarea id="code" name="code">

      // Demo code (the actual new parser character stream implementation)

      function StringStream(string) {

        this.pos = 0;

        this.string = string;

      }

      StringStream.prototype = {

        done: function() {return this.pos >= this.string.length;},

        peek: function() {return this.string.charAt(this.pos);},

        next: function() {

          if (this.pos &lt; this.string.length)

            return this.string.charAt(this.pos++);

        },

        eat: function(match) {

          var ch = this.string.charAt(this.pos);

          if (typeof match == "string") var ok = ch == match;

          else var ok = ch &amp;&amp; match.test ? match.test(ch) : match(ch);

          if (ok) {this.pos++; return ch;}

        },

        eatWhile: function(match) {

          var start = this.pos;

          while (this.eat(match));

          if (this.pos > start) return this.string.slice(start, this.pos);

        },

        backUp: function(n) {this.pos -= n;},

        column: function() {return this.pos;},

        eatSpace: function() {

          var start = this.pos;

          while (/\s/.test(this.string.charAt(this.pos))) this.pos++;

          return this.pos - start;

        },

        match: function(pattern, consume, caseInsensitive) {

          if (typeof pattern == "string") {

            function cased(str) {return caseInsensitive ? str.toLowerCase() : str;}

            if (cased(this.string).indexOf(cased(pattern), this.pos) == this.pos) {

              if (consume !== false) this.pos += str.length;

              return true;

            }

          }

          else {

            var match = this.string.slice(this.pos).match(pattern);

            if (match &amp;&amp; consume !== false) this.pos += match[0].length;

            return match;

          }

        }

      };

      </textarea></div>

          <script>

            var editor = CodeMirror.fromTextArea(document.getElementById("code"), {

              lineNumbers: true,

              matchBrackets: true

            });

          </script>

          <p>JavaScript mode supports a single configuration

          option, <code>json</code>, which will set the mode to expect JSON

          data rather than a JavaScript program.</p>

          <p><strong>MIME types defined:</strong> <code>text/javascript</code>, <code>application/json</code>.</p>

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

Brian E. Granger Updating CodeMirror to v 2.12....	r4504	<!doctype html>
		<html>
		<head>
Brian Granger Updating to CodeMirror 2.2, latest stable release.	r5941	<title>CodeMirror: JavaScript mode</title>
Brian E. Granger Updating CodeMirror to v 2.12....	r4504	<link rel="stylesheet" href="../../lib/codemirror.css">
		<script src="../../lib/codemirror.js"></script>
		<script src="javascript.js"></script>
Brian Granger Updating to CodeMirror 2.2, latest stable release.	r5941	<link rel="stylesheet" href="../../doc/docs.css">
Brian E. Granger Updating CodeMirror to v 2.12....	r4504	<style type="text/css">.CodeMirror {border-top: 1px solid black; border-bottom: 1px solid black;}</style>
		</head>
		<body>
Brian Granger Updating to CodeMirror 2.2, latest stable release.	r5941	<h1>CodeMirror: JavaScript mode</h1>
Brian E. Granger Updating CodeMirror to v 2.12....	r4504
		<div><textarea id="code" name="code">
		// Demo code (the actual new parser character stream implementation)

		function StringStream(string) {
		this.pos = 0;
		this.string = string;
		}

		StringStream.prototype = {
		done: function() {return this.pos >= this.string.length;},
		peek: function() {return this.string.charAt(this.pos);},
		next: function() {
		if (this.pos < this.string.length)
		return this.string.charAt(this.pos++);
		},
		eat: function(match) {
		var ch = this.string.charAt(this.pos);
		if (typeof match == "string") var ok = ch == match;
		else var ok = ch && match.test ? match.test(ch) : match(ch);
		if (ok) {this.pos++; return ch;}
		},
		eatWhile: function(match) {
		var start = this.pos;
		while (this.eat(match));
		if (this.pos > start) return this.string.slice(start, this.pos);
		},
		backUp: function(n) {this.pos -= n;},
		column: function() {return this.pos;},
		eatSpace: function() {
		var start = this.pos;
		while (/\s/.test(this.string.charAt(this.pos))) this.pos++;
		return this.pos - start;
		},
		match: function(pattern, consume, caseInsensitive) {
		if (typeof pattern == "string") {
		function cased(str) {return caseInsensitive ? str.toLowerCase() : str;}
		if (cased(this.string).indexOf(cased(pattern), this.pos) == this.pos) {
		if (consume !== false) this.pos += str.length;
		return true;
		}
		}
		else {
		var match = this.string.slice(this.pos).match(pattern);
		if (match && consume !== false) this.pos += match[0].length;
		return match;
		}
		}
		};
		</textarea></div>

		<script>
		var editor = CodeMirror.fromTextArea(document.getElementById("code"), {
		lineNumbers: true,
		matchBrackets: true
		});
		</script>

		<p>JavaScript mode supports a single configuration
		option, <code>json</code>, which will set the mode to expect JSON
		data rather than a JavaScript program.</p>

		<p><strong>MIME types defined:</strong> <code>text/javascript</code>, <code>application/json</code>.</p>
		</body>
		</html>