##// END OF EJS Templates
Backport PR #2128: open notebook copy in different tabs...
Backport PR #2128: open notebook copy in different tabs use time since epoch to avoid reusing the same tab fixes #2120 as long as one dos not open more that one tab per second.

File last commit:

r5970:b6bb1663
r7994:deed6570
Show More
index.html
51 lines | 1.5 KiB | text/html | HtmlLexer
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: HTML mixed 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="../xml/xml.js"></script>
<script src="../javascript/javascript.js"></script>
<script src="../css/css.js"></script>
<script src="htmlmixed.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>.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: HTML mixed mode</h1>
Brian E. Granger
Updating CodeMirror to v 2.12....
r4504 <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>