aboutsummaryrefslogtreecommitdiff
path: root/imports/codemirror/mode/gfm/index.html
diff options
context:
space:
mode:
authorValerio Virgillito2012-02-14 11:07:21 -0800
committerValerio Virgillito2012-02-14 11:07:21 -0800
commitf060190a3bffd9a16718f2ce0499699103d46372 (patch)
treea308fe7eacec2156c8212dff0892a3de925d5f9a /imports/codemirror/mode/gfm/index.html
parentf766cc203f30ea43ae8b83cf4b65d45cc4435ee9 (diff)
parent33bc9d62b8e6694500bf14d5b18187bd99a520a3 (diff)
downloadninja-f060190a3bffd9a16718f2ce0499699103d46372.tar.gz
Merge branch 'FileIO' of https://github.com/joseeight/ninja-internal into integration
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>