diff options
| author | Nivesh Rajbhandari | 2012-02-20 11:14:44 -0800 |
|---|---|---|
| committer | Nivesh Rajbhandari | 2012-02-20 11:14:44 -0800 |
| commit | abf78e2d7a97d295ce5a1c425fd359d47379137e (patch) | |
| tree | d08c91bd2aef31e6325e0b499b2ffc390018bec6 /imports/codemirror/mode/ntriples/index.html | |
| parent | e80a79bff57fecf3aa9b869d8ed2de5fd815287c (diff) | |
| parent | e23708721a71ca4c71365f5f8e8ac7d6113926db (diff) | |
| download | ninja-abf78e2d7a97d295ce5a1c425fd359d47379137e.tar.gz | |
Merge branch 'refs/heads/ninja-internal' into ToolFixes
Diffstat (limited to 'imports/codemirror/mode/ntriples/index.html')
| -rwxr-xr-x | imports/codemirror/mode/ntriples/index.html | 32 |
1 files changed, 32 insertions, 0 deletions
diff --git a/imports/codemirror/mode/ntriples/index.html b/imports/codemirror/mode/ntriples/index.html new file mode 100755 index 00000000..08d33bab --- /dev/null +++ b/imports/codemirror/mode/ntriples/index.html | |||
| @@ -0,0 +1,32 @@ | |||
| 1 | <!doctype html> | ||
| 2 | <html> | ||
| 3 | <head> | ||
| 4 | <title>CodeMirror: NTriples mode</title> | ||
| 5 | <link rel="stylesheet" href="../../lib/codemirror.css"> | ||
| 6 | <script src="../../lib/codemirror.js"></script> | ||
| 7 | <script src="ntriples.js"></script> | ||
| 8 | <link rel="stylesheet" href="../../doc/docs.css"> | ||
| 9 | <style type="text/css"> | ||
| 10 | .CodeMirror { | ||
| 11 | border: 1px solid #eee; | ||
| 12 | } | ||
| 13 | </style> | ||
| 14 | </head> | ||
| 15 | <body> | ||
| 16 | <h1>CodeMirror: NTriples mode</h1> | ||
| 17 | <form> | ||
| 18 | <textarea id="ntriples" name="ntriples"> | ||
| 19 | <http://Sub1> <http://pred1> <http://obj> . | ||
| 20 | <http://Sub2> <http://pred2#an2> "literal 1" . | ||
| 21 | <http://Sub3#an3> <http://pred3> _:bnode3 . | ||
| 22 | _:bnode4 <http://pred4> "literal 2"@lang . | ||
| 23 | _:bnode5 <http://pred5> "literal 3"^^<http://type> . | ||
| 24 | </textarea> | ||
| 25 | </form> | ||
| 26 | |||
| 27 | <script> | ||
| 28 | var editor = CodeMirror.fromTextArea(document.getElementById("ntriples"), {}); | ||
| 29 | </script> | ||
| 30 | <p><strong>MIME types defined:</strong> <code>text/n-triples</code>.</p> | ||
| 31 | </body> | ||
| 32 | </html> | ||