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

load header with engine id when engine dies in TaskScheduler...

load header with engine id when engine dies in TaskScheduler This ensures that the metadata dict on the *Client* has the engine_uuid of the engine on which the task failed. It is identical to code elsewhere (Hub, Client) for identifying when engines die.

Brian Granger - - Load All Authors

File last commit:

r5970:b6bb1663


                r6068:f8f19148

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>