diff options
author | Pushkar Joshi | 2012-02-24 12:08:49 -0800 |
---|---|---|
committer | Pushkar Joshi | 2012-02-24 12:08:49 -0800 |
commit | 03ca7a5ed13c25faaa9100bb666e062fd15335e6 (patch) | |
tree | c51112223ceb9121cd595a60335eb2795215590f /imports/codemirror/mode/gfm/index.html | |
parent | fcb12cc09eb3cd3b42bd215877ba18f449275b75 (diff) | |
parent | 053fc63a2950c7a5ee4ebf98033b64d474a3c46e (diff) | |
download | ninja-03ca7a5ed13c25faaa9100bb666e062fd15335e6.tar.gz |
Merge branch 'pentool' into brushtool
Conflicts:
imports/codemirror/mode/scheme/scheme.js
js/tools/BrushTool.js
Diffstat (limited to 'imports/codemirror/mode/gfm/index.html')
-rwxr-xr-x | imports/codemirror/mode/gfm/index.html | 47 |
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"> | ||
20 | Github Flavored Markdown | ||
21 | ======================== | ||
22 | |||
23 | Everything from markdown plus GFM features: | ||
24 | |||
25 | ## Fenced code blocks | ||
26 | |||
27 | ```javascript | ||
28 | for (var i = 0; i < items.length; i++) { | ||
29 | console.log(items[i], i); // log them | ||
30 | } | ||
31 | ``` | ||
32 | |||
33 | See 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> | ||