aboutsummaryrefslogtreecommitdiff
path: root/imports/codemirror/mode/gfm/index.html
diff options
context:
space:
mode:
authorArmen Kesablyan2012-02-22 16:26:41 -0800
committerArmen Kesablyan2012-02-22 16:26:41 -0800
commit0bd1cefea2ab350fad1a891bdc926053b799aafc (patch)
tree962f559fcc02a3dfeb297d59907e40fa153453f3 /imports/codemirror/mode/gfm/index.html
parent695bc5082f48dddf66ce31480a4faefc067b38bd (diff)
parent2d2b1af8b5c0d506fe6a1cf65614101fec145970 (diff)
downloadninja-0bd1cefea2ab350fad1a891bdc926053b799aafc.tar.gz
Merge branch 'refs/heads/master' into new-tool-icons
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>