aboutsummaryrefslogtreecommitdiffstats
path: root/plugins/LocalFilesEditor/codemirror/mode/htmlmixed/index.html
diff options
context:
space:
mode:
authormistic100 <mistic@strangeplanet.fr>2015-07-26 19:19:19 +0200
committermistic100 <mistic@strangeplanet.fr>2015-07-26 19:19:19 +0200
commitf79d74338e91b008b1f500f0a943c41ec32ec848 (patch)
tree750320d7de8beaf9bd3f21933e71e4fee857c6da /plugins/LocalFilesEditor/codemirror/mode/htmlmixed/index.html
parentcc27a535724e0602b73aae0d5ece6b60fb9554dc (diff)
parent22381e829e0ce2a4a4cbb1420f5ecc2c43be9292 (diff)
Merge branch 'feature/hello-github' into develop
Diffstat (limited to 'plugins/LocalFilesEditor/codemirror/mode/htmlmixed/index.html')
-rw-r--r--plugins/LocalFilesEditor/codemirror/mode/htmlmixed/index.html54
1 files changed, 0 insertions, 54 deletions
diff --git a/plugins/LocalFilesEditor/codemirror/mode/htmlmixed/index.html b/plugins/LocalFilesEditor/codemirror/mode/htmlmixed/index.html
deleted file mode 100644
index c661c98d5..000000000
--- a/plugins/LocalFilesEditor/codemirror/mode/htmlmixed/index.html
+++ /dev/null
@@ -1,54 +0,0 @@
-<!doctype html>
-<html>
- <head>
- <title>CodeMirror 2: HTML mixed mode</title>
- <link rel="stylesheet" href="../../lib/codemirror.css">
- <script src="../../lib/codemirror.js"></script>
- <script src="../xml/xml.js"></script>
- <link rel="stylesheet" href="../xml/xml.css">
- <script src="../javascript/javascript.js"></script>
- <link rel="stylesheet" href="../javascript/javascript.css">
- <script src="../css/css.js"></script>
- <link rel="stylesheet" href="../css/css.css">
- <script src="htmlmixed.js"></script>
- <link rel="stylesheet" href="../../css/docs.css">
- <style>.CodeMirror {border-top: 1px solid black; border-bottom: 1px solid black;}</style>
- </head>
- <body>
- <h1>CodeMirror 2: HTML mixed mode</h1>
- <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>