upstream/ipython Files · IPython/frontend/html/notebook/static/codemirror/mode/css/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
        
                    55 lines
            
             | 1.0 KiB
            
                | text/html
            
             |
                HtmlLexer
            
             / IPython / frontend / html / notebook / static / codemirror / mode / css / index.html
          
                    History
                
                 |
                  Annotation
                 | Raw
                 |Copy content
                 |Copy permalink

      <!doctype html>

      <html>

        <head>

          <title>CodeMirror: CSS mode</title>

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

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

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

          <style>.CodeMirror {background: #f8f8f8;}</style>

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

        </head>

        <body>

          <h1>CodeMirror: CSS mode</h1>

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

      /* Some example CSS */

      @import url("something.css");

      body {

        margin: 0;

        padding: 3em 6em;

        font-family: tahoma, arial, sans-serif;

        color: #000;

      }

      #navigation a {

        font-weight: bold;

        text-decoration: none !important;

      }

      h1 {

        font-size: 2.5em;

      }

      h2 {

        font-size: 1.7em;

      }

      h1:before, h2:before {

        content: "::";

      }

      code {

        font-family: courier, monospace;

        font-size: 80%;

        color: #418A8A;

      }

      </textarea></form>

          <script>

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

          </script>

          <p><strong>MIME types defined:</strong> <code>text/css</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

				<!doctype html>
				<html>
				<head>
				<title>CodeMirror: CSS mode</title>
				<link rel="stylesheet" href="../../lib/codemirror.css">
				<script src="../../lib/codemirror.js"></script>
				<script src="css.js"></script>
				<style>.CodeMirror {background: #f8f8f8;}</style>
				<link rel="stylesheet" href="../../doc/docs.css">
				</head>
				<body>
				<h1>CodeMirror: CSS mode</h1>
				<form><textarea id="code" name="code">
				/* Some example CSS */

				@import url("something.css");

				body {
				margin: 0;
				padding: 3em 6em;
				font-family: tahoma, arial, sans-serif;
				color: #000;
				}

				#navigation a {
				font-weight: bold;
				text-decoration: none !important;
				}

				h1 {
				font-size: 2.5em;
				}

				h2 {
				font-size: 1.7em;
				}

				h1:before, h2:before {
				content: "::";
				}

				code {
				font-family: courier, monospace;
				font-size: 80%;
				color: #418A8A;
				}
				</textarea></form>
				<script>
				var editor = CodeMirror.fromTextArea(document.getElementById("code"), {});
				</script>

				<p><strong>MIME types defined:</strong> <code>text/css</code>.</p>

				</body>
				</html>