aboutsummaryrefslogtreecommitdiff
path: root/imports/codemirror/mode/gfm/index.html
diff options
context:
space:
mode:
authorJose Antonio Marquez2012-02-15 20:37:48 -0800
committerJose Antonio Marquez2012-02-15 20:37:48 -0800
commit89b5e793ea88ef235b54b6e1d1c379698d3e612b (patch)
tree4d29118f35df77ca6b423119a4ff61694a442cbf /imports/codemirror/mode/gfm/index.html
parent9d2c2a80483415d7560b00cda5519153db23e241 (diff)
parentd366c0bd1af6471511217ed574083e15059519b5 (diff)
downloadninja-89b5e793ea88ef235b54b6e1d1c379698d3e612b.tar.gz
Merge branch 'refs/heads/NinjaInternal' into Color
Diffstat (limited to 'imports/codemirror/mode/gfm/index.html')
-rwxr-xr-ximports/codemirror/mode/gfm/index.html47
1 files changed, 47 insertions, 0 deletions
diff --git a/imports/codemirror/mode/gfm/index.html b/imports/codemirror/mode/gfm/index.html
new file mode 100755
index 00000000..b27d49ab
--- /dev/null
+++ b/imports/codemirror/mode/gfm/index.html
@@ -0,0 +1,47 @@
1<!doctype html>
2<html>
3 <head>
4 <title>CodeMirror: GFM 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="../markdown/markdown.js"></script>
9 <script src="gfm.js"></script>
10 <script src="../javascript/javascript.js"></script>
11 <link rel="stylesheet" href="../markdown/markdown.css">
12 <style type="text/css">.CodeMirror {border-top: 1px solid black; border-bottom: 1px solid black;}</style>
13 <link rel="stylesheet" href="../../doc/docs.css">
14 </head>
15 <body>
16 <h1>CodeMirror: GFM mode</h1>
17
18<!-- source: http://daringfireball.net/projects/markdown/basics.text -->
19<form><textarea id="code" name="code">
20Github Flavored Markdown
21========================
22
23Everything from markdown plus GFM features:
24
25## Fenced code blocks
26
27```javascript
28for (var i = 0; i &lt; items.length; i++) {
29 console.log(items[i], i); // log them
30}
31```
32
33See http://github.github.com/github-flavored-markdown/
34
35</textarea></form>
36
37 <script>
38 var editor = CodeMirror.fromTextArea(document.getElementById("code"), {
39 mode: 'gfm',
40 lineNumbers: true,
41 matchBrackets: true,
42 theme: "default"
43 });
44 </script>
45
46 </body>
47</html>