aboutsummaryrefslogtreecommitdiffstats
path: root/plugins/LocalFilesEditor/codemirror/mode/css
diff options
context:
space:
mode:
authormistic100 <mistic@strangeplanet.fr>2015-07-24 22:44:39 +0200
committermistic100 <mistic@strangeplanet.fr>2015-07-26 19:11:36 +0200
commit4e71ba9d3ea40cd2d817965e5eed4a2fe1b876b3 (patch)
treeaf7f5291540806e5fde21db1d98d590579549055 /plugins/LocalFilesEditor/codemirror/mode/css
parent32138f1fbd7637dffaaad0c8ca677e43a0d13831 (diff)
Remove core plugins from core repository
Diffstat (limited to 'plugins/LocalFilesEditor/codemirror/mode/css')
-rw-r--r--plugins/LocalFilesEditor/codemirror/mode/css/css.css9
-rw-r--r--plugins/LocalFilesEditor/codemirror/mode/css/css.js124
-rw-r--r--plugins/LocalFilesEditor/codemirror/mode/css/index.html56
3 files changed, 0 insertions, 189 deletions
diff --git a/plugins/LocalFilesEditor/codemirror/mode/css/css.css b/plugins/LocalFilesEditor/codemirror/mode/css/css.css
deleted file mode 100644
index 02d40ecb2..000000000
--- a/plugins/LocalFilesEditor/codemirror/mode/css/css.css
+++ /dev/null
@@ -1,9 +0,0 @@
-span.css-at {color: #708;}
-span.css-unit {color: #281;}
-span.css-value {color: #708;}
-span.css-identifier {color: black;}
-span.css-selector {color: #11B;}
-span.css-important {color: #00F;}
-span.css-colorcode {color: #299;}
-span.css-comment {color: #A70;}
-span.css-string {color: #A22;}
diff --git a/plugins/LocalFilesEditor/codemirror/mode/css/css.js b/plugins/LocalFilesEditor/codemirror/mode/css/css.js
deleted file mode 100644
index 5faad7b2f..000000000
--- a/plugins/LocalFilesEditor/codemirror/mode/css/css.js
+++ /dev/null
@@ -1,124 +0,0 @@
-CodeMirror.defineMode("css", function(config) {
- var indentUnit = config.indentUnit, type;
- function ret(style, tp) {type = tp; return style;}
-
- function tokenBase(stream, state) {
- var ch = stream.next();
- if (ch == "@") {stream.eatWhile(/\w/); return ret("css-at", stream.current());}
- else if (ch == "/" && stream.eat("*")) {
- state.tokenize = tokenCComment;
- return tokenCComment(stream, state);
- }
- else if (ch == "<" && stream.eat("!")) {
- state.tokenize = tokenSGMLComment;
- return tokenSGMLComment(stream, state);
- }
- else if (ch == "=") ret(null, "compare");
- else if ((ch == "~" || ch == "|") && stream.eat("=")) return ret(null, "compare");
- else if (ch == "\"" || ch == "'") {
- state.tokenize = tokenString(ch);
- return state.tokenize(stream, state);
- }
- else if (ch == "#") {
- stream.eatWhile(/\w/);
- return ret("css-selector", "hash");
- }
- else if (ch == "!") {
- stream.match(/^\s*\w*/);
- return ret("css-important", "important");
- }
- else if (/\d/.test(ch)) {
- stream.eatWhile(/[\w.%]/);
- return ret("css-unit", "unit");
- }
- else if (/[,.+>*\/]/.test(ch)) {
- return ret(null, "select-op");
- }
- else if (/[;{}:\[\]]/.test(ch)) {
- return ret(null, ch);
- }
- else {
- stream.eatWhile(/[\w\\\-_]/);
- return ret("css-identifier", "identifier");
- }
- }
-
- function tokenCComment(stream, state) {
- var maybeEnd = false, ch;
- while ((ch = stream.next()) != null) {
- if (maybeEnd && ch == "/") {
- state.tokenize = tokenBase;
- break;
- }
- maybeEnd = (ch == "*");
- }
- return ret("css-comment", "comment");
- }
-
- function tokenSGMLComment(stream, state) {
- var dashes = 0, ch;
- while ((ch = stream.next()) != null) {
- if (dashes >= 2 && ch == ">") {
- state.tokenize = tokenBase;
- break;
- }
- dashes = (ch == "-") ? dashes + 1 : 0;
- }
- return ret("css-comment", "comment");
- }
-
- function tokenString(quote) {
- return function(stream, state) {
- var escaped = false, ch;
- while ((ch = stream.next()) != null) {
- if (ch == quote && !escaped)
- break;
- escaped = !escaped && ch == "\\";
- }
- if (!escaped) state.tokenize = tokenBase;
- return ret("css-string", "string");
- };
- }
-
- return {
- startState: function(base) {
- return {tokenize: tokenBase,
- baseIndent: base || 0,
- stack: []};
- },
-
- token: function(stream, state) {
- if (stream.eatSpace()) return null;
- var style = state.tokenize(stream, state);
-
- var context = state.stack[state.stack.length-1];
- if (type == "hash" && context == "rule") style = "css-colorcode";
- else if (style == "css-identifier") {
- if (context == "rule") style = "css-value";
- else if (!context || context == "@media{") style = "css-selector";
- }
-
- if (context == "rule" && /^[\{\};]$/.test(type))
- state.stack.pop();
- if (type == "{") {
- if (context == "@media") state.stack[state.stack.length-1] = "@media{";
- else state.stack.push("{");
- }
- else if (type == "}") state.stack.pop();
- else if (type == "@media") state.stack.push("@media");
- else if (context != "rule" && context != "@media" && type != "comment") state.stack.push("rule");
- return style;
- },
-
- indent: function(state, textAfter) {
- var n = state.stack.length;
- if (/^\}/.test(textAfter))
- n -= state.stack[state.stack.length-1] == "rule" ? 2 : 1;
- return state.baseIndent + n * indentUnit;
- },
-
- electricChars: "}"
- };
-});
-
-CodeMirror.defineMIME("text/css", "css");
diff --git a/plugins/LocalFilesEditor/codemirror/mode/css/index.html b/plugins/LocalFilesEditor/codemirror/mode/css/index.html
deleted file mode 100644
index ad895610f..000000000
--- a/plugins/LocalFilesEditor/codemirror/mode/css/index.html
+++ /dev/null
@@ -1,56 +0,0 @@
-<!doctype html>
-<html>
- <head>
- <title>CodeMirror 2: CSS mode</title>
- <link rel="stylesheet" href="../../lib/codemirror.css">
- <script src="../../lib/codemirror.js"></script>
- <script src="css.js"></script>
- <link rel="stylesheet" href="css.css">
- <style>.CodeMirror {background: #f8f8f8;}</style>
- <link rel="stylesheet" href="../../css/docs.css">
- </head>
- <body>
- <h1>CodeMirror 2: 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>