diff options
author | Pushkar Joshi | 2012-02-24 12:08:49 -0800 |
---|---|---|
committer | Pushkar Joshi | 2012-02-24 12:08:49 -0800 |
commit | 03ca7a5ed13c25faaa9100bb666e062fd15335e6 (patch) | |
tree | c51112223ceb9121cd595a60335eb2795215590f /js/codemirror/mode/htmlmixed/index.html | |
parent | fcb12cc09eb3cd3b42bd215877ba18f449275b75 (diff) | |
parent | 053fc63a2950c7a5ee4ebf98033b64d474a3c46e (diff) | |
download | ninja-03ca7a5ed13c25faaa9100bb666e062fd15335e6.tar.gz |
Merge branch 'pentool' into brushtool
Conflicts:
imports/codemirror/mode/scheme/scheme.js
js/tools/BrushTool.js
Diffstat (limited to 'js/codemirror/mode/htmlmixed/index.html')
-rw-r--r-- | js/codemirror/mode/htmlmixed/index.html | 52 |
1 files changed, 0 insertions, 52 deletions
diff --git a/js/codemirror/mode/htmlmixed/index.html b/js/codemirror/mode/htmlmixed/index.html deleted file mode 100644 index 6d62b355..00000000 --- a/js/codemirror/mode/htmlmixed/index.html +++ /dev/null | |||
@@ -1,52 +0,0 @@ | |||
1 | <!doctype html> | ||
2 | <html> | ||
3 | <head> | ||
4 | <title>CodeMirror 2: HTML mixed mode</title> | ||
5 | <link rel="stylesheet" href="../../lib/codemirror.css"> | ||
6 | <script src="../../lib/codemirror.js"></script> | ||
7 | <script src="../xml/xml.js"></script> | ||
8 | <script src="../javascript/javascript.js"></script> | ||
9 | <script src="../css/css.js"></script> | ||
10 | <link rel="stylesheet" href="../../theme/default.css"> | ||
11 | <script src="htmlmixed.js"></script> | ||
12 | <link rel="stylesheet" href="../../css/docs.css"> | ||
13 | <style>.CodeMirror {border-top: 1px solid black; border-bottom: 1px solid black;}</style> | ||
14 | </head> | ||
15 | <body> | ||
16 | <h1>CodeMirror 2: HTML mixed mode</h1> | ||
17 | <form><textarea id="code" name="code"> | ||
18 | <html style="color: green"> | ||
19 | <!-- this is a comment --> | ||
20 | <head> | ||
21 | <title>Mixed HTML Example</title> | ||
22 | <style type="text/css"> | ||
23 | h1 {font-family: comic sans; color: #f0f;} | ||
24 | div {background: yellow !important;} | ||
25 | body { | ||
26 | max-width: 50em; | ||
27 | margin: 1em 2em 1em 5em; | ||
28 | } | ||
29 | </style> | ||
30 | </head> | ||
31 | <body> | ||
32 | <h1>Mixed HTML Example</h1> | ||
33 | <script> | ||
34 | function jsFunc(arg1, arg2) { | ||
35 | if (arg1 && arg2) document.body.innerHTML = "achoo"; | ||
36 | } | ||
37 | </script> | ||
38 | </body> | ||
39 | </html> | ||
40 | </textarea></form> | ||
41 | <script> | ||
42 | var editor = CodeMirror.fromTextArea(document.getElementById("code"), {mode: "text/html", tabMode: "indent"}); | ||
43 | </script> | ||
44 | |||
45 | <p>The HTML mixed mode depends on the XML, JavaScript, and CSS modes.</p> | ||
46 | |||
47 | <p><strong>MIME types defined:</strong> <code>text/html</code> | ||
48 | (redefined, only takes effect if you load this parser after the | ||
49 | XML parser).</p> | ||
50 | |||
51 | </body> | ||
52 | </html> | ||