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

Merge pull request from takluyver/catch-histdb-errors...

Merge pull request from takluyver/catch-histdb-errors Catch sqlite DatabaseErrors in more places when reading the history database It seems sqlite can encounter corruption and throw an error when reading the database, although it has connected successfully. This borrows the move-and-recreate machinery we already had on connecting to the database. If such an error occurs, the corrupted file is moved and the user get warned of the name of the corrupted file.

Matthias BUSSONNIER - - Load All Authors

File last commit:

r8053:58574fbf


                r8503:7904325b

Download file

             index.html
        
                    51 lines
            
             | 1.5 KiB
            
                | text/html
            
             |
                HtmlLexer
            
             / IPython / frontend / html / notebook / static / codemirror / mode / htmlmixed / index.html
          
                    History
                
                 |
                  Annotation
                 | Raw
                 |Copy content
                 |Copy permalink

      <!doctype html>

      <html>

        <head>

          <title>CodeMirror: HTML mixed mode</title>

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

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

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

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

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

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

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

          <style>.CodeMirror {border-top: 1px solid black; border-bottom: 1px solid black;}</style>

        </head>

        <body>

          <h1>CodeMirror: HTML mixed mode</h1>

          <form><textarea id="code" name="code">

      <html style="color: green">

        <!-- this is a comment -->

        <head>

          <title>Mixed HTML Example</title>

          <style type="text/css">

            h1 {font-family: comic sans; color: #f0f;}

            div {background: yellow !important;}

            body {

              max-width: 50em;

              margin: 1em 2em 1em 5em;

            }

          </style>

        </head>

        <body>

          <h1>Mixed HTML Example</h1>

          <script>

            function jsFunc(arg1, arg2) {

              if (arg1 && arg2) document.body.innerHTML = "achoo";

            }

          </script>

        </body>

      </html>

      </textarea></form>

          <script>

            var editor = CodeMirror.fromTextArea(document.getElementById("code"), {mode: "text/html", tabMode: "indent"});

          </script>

          <p>The HTML mixed mode depends on the XML, JavaScript, and CSS modes.</p>

          <p><strong>MIME types defined:</strong> <code>text/html</code>

          (redefined, only takes effect if you load this parser after the

          XML parser).</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

				<!doctype html>
				<html>
				<head>
				<title>CodeMirror: HTML mixed mode</title>
				<link rel="stylesheet" href="../../lib/codemirror.css">
				<script src="../../lib/codemirror.js"></script>
				<script src="../xml/xml.js"></script>
				<script src="../javascript/javascript.js"></script>
				<script src="../css/css.js"></script>
				<script src="htmlmixed.js"></script>
				<link rel="stylesheet" href="../../doc/docs.css">
				<style>.CodeMirror {border-top: 1px solid black; border-bottom: 1px solid black;}</style>
				</head>
				<body>
				<h1>CodeMirror: HTML mixed mode</h1>
				<form><textarea id="code" name="code">
				<html style="color: green">
				<!-- this is a comment -->
				<head>
				<title>Mixed HTML Example</title>
				<style type="text/css">
				h1 {font-family: comic sans; color: #f0f;}
				div {background: yellow !important;}
				body {
				max-width: 50em;
				margin: 1em 2em 1em 5em;
				}
				</style>
				</head>
				<body>
				<h1>Mixed HTML Example</h1>
				<script>
				function jsFunc(arg1, arg2) {
				if (arg1 && arg2) document.body.innerHTML = "achoo";
				}
				</script>
				</body>
				</html>
				</textarea></form>
				<script>
				var editor = CodeMirror.fromTextArea(document.getElementById("code"), {mode: "text/html", tabMode: "indent"});
				</script>

				<p>The HTML mixed mode depends on the XML, JavaScript, and CSS modes.</p>

				<p><strong>MIME types defined:</strong> <code>text/html</code>
				(redefined, only takes effect if you load this parser after the
				XML parser).</p>

				</body>
				</html>