aboutsummaryrefslogtreecommitdiff
path: root/js/codemirror/mode/htmlmixed
diff options
context:
space:
mode:
authorValerio Virgillito2012-02-15 16:09:47 -0800
committerValerio Virgillito2012-02-15 16:09:47 -0800
commitd366c0bd1af6471511217ed574083e15059519b5 (patch)
treec8c9f9af761457e3c5f4c6774fb0fbba851df0c4 /js/codemirror/mode/htmlmixed
parent997ce3fb65f27b3d6f331f63b5dc22d3c7fb8f1e (diff)
parentb85bfb54aaca3ccca3c1ef09115de925cd67f4e9 (diff)
downloadninja-d366c0bd1af6471511217ed574083e15059519b5.tar.gz
Merge branch 'refs/heads/integration'
Diffstat (limited to 'js/codemirror/mode/htmlmixed')
-rw-r--r--js/codemirror/mode/htmlmixed/htmlmixed.js79
-rw-r--r--js/codemirror/mode/htmlmixed/index.html52
2 files changed, 0 insertions, 131 deletions
diff --git a/js/codemirror/mode/htmlmixed/htmlmixed.js b/js/codemirror/mode/htmlmixed/htmlmixed.js
deleted file mode 100644
index fa30a13f..00000000
--- a/js/codemirror/mode/htmlmixed/htmlmixed.js
+++ /dev/null
@@ -1,79 +0,0 @@
1CodeMirror.defineMode("htmlmixed", function(config, parserConfig) {
2 var htmlMode = CodeMirror.getMode(config, {name: "xml", htmlMode: true});
3 var jsMode = CodeMirror.getMode(config, "javascript");
4 var cssMode = CodeMirror.getMode(config, "css");
5
6 function html(stream, state) {
7 var style = htmlMode.token(stream, state.htmlState);
8 if (style == "tag" && stream.current() == ">" && state.htmlState.context) {
9 if (/^script$/i.test(state.htmlState.context.tagName)) {
10 state.token = javascript;
11 state.localState = jsMode.startState(htmlMode.indent(state.htmlState, ""));
12 state.mode = "javascript";
13 }
14 else if (/^style$/i.test(state.htmlState.context.tagName)) {
15 state.token = css;
16 state.localState = cssMode.startState(htmlMode.indent(state.htmlState, ""));
17 state.mode = "css";
18 }
19 }
20 return style;
21 }
22 function maybeBackup(stream, pat, style) {
23 var cur = stream.current();
24 var close = cur.search(pat);
25 if (close > -1) stream.backUp(cur.length - close);
26 return style;
27 }
28 function javascript(stream, state) {
29 if (stream.match(/^<\/\s*script\s*>/i, false)) {
30 state.token = html;
31 state.curState = null;
32 state.mode = "html";
33 return html(stream, state);
34 }
35 return maybeBackup(stream, /<\/\s*script\s*>/,
36 jsMode.token(stream, state.localState));
37 }
38 function css(stream, state) {
39 if (stream.match(/^<\/\s*style\s*>/i, false)) {
40 state.token = html;
41 state.localState = null;
42 state.mode = "html";
43 return html(stream, state);
44 }
45 return maybeBackup(stream, /<\/\s*style\s*>/,
46 cssMode.token(stream, state.localState));
47 }
48
49 return {
50 startState: function() {
51 var state = htmlMode.startState();
52 return {token: html, localState: null, mode: "html", htmlState: state};
53 },
54
55 copyState: function(state) {
56 if (state.localState)
57 var local = CodeMirror.copyState(state.token == css ? cssMode : jsMode, state.localState);
58 return {token: state.token, localState: local, mode: state.mode,
59 htmlState: CodeMirror.copyState(htmlMode, state.htmlState)};
60 },
61
62 token: function(stream, state) {
63 return state.token(stream, state);
64 },
65
66 indent: function(state, textAfter) {
67 if (state.token == html || /^\s*<\//.test(textAfter))
68 return htmlMode.indent(state.htmlState, textAfter);
69 else if (state.token == javascript)
70 return jsMode.indent(state.localState, textAfter);
71 else
72 return cssMode.indent(state.localState, textAfter);
73 },
74
75 electricChars: "/{}:"
76 }
77});
78
79CodeMirror.defineMIME("text/html", "htmlmixed");
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>