aboutsummaryrefslogtreecommitdiff
path: root/imports/codemirror/mode/properties/index.html
diff options
context:
space:
mode:
authorNivesh Rajbhandari2012-03-12 16:25:28 -0700
committerNivesh Rajbhandari2012-03-12 16:25:28 -0700
commit5fb358d9e80a364d5f300d60b7a9fe0f773741e7 (patch)
tree2c4d5292b19c91697dffb542f369ec9dcb340f77 /imports/codemirror/mode/properties/index.html
parent5f9b67be3b8bdb391d021103c6bcee6be2f6cdf4 (diff)
parent69d90467865a1384725b2301901be2180c5a841f (diff)
downloadninja-5fb358d9e80a364d5f300d60b7a9fe0f773741e7.tar.gz
Merge branch 'refs/heads/ninja-internal' into ToolFixes
Diffstat (limited to 'imports/codemirror/mode/properties/index.html')
-rwxr-xr-ximports/codemirror/mode/properties/index.html40
1 files changed, 40 insertions, 0 deletions
diff --git a/imports/codemirror/mode/properties/index.html b/imports/codemirror/mode/properties/index.html
new file mode 100755
index 00000000..3df6a3ae
--- /dev/null
+++ b/imports/codemirror/mode/properties/index.html
@@ -0,0 +1,40 @@
1<!doctype html>
2<html>
3 <head>
4 <title>CodeMirror: Properties files mode</title>
5 <link rel="stylesheet" href="../../lib/codemirror.css">
6 <script src="../../lib/codemirror.js"></script>
7 <script src="properties.js"></script>
8 <link rel="stylesheet" href="properties.css">
9 <style>.CodeMirror {border-top: 1px solid #ddd; border-bottom: 1px solid #ddd;}</style>
10 <link rel="stylesheet" href="../../doc/docs.css">
11 </head>
12 <body>
13 <h1>CodeMirror: Properties files mode</h1>
14 <form><textarea id="code" name="code">
15# This is a properties file
16a.key = A value
17another.key = http://example.com
18! Exclamation mark as comment
19but.not=Within ! A value # indeed
20 # Spaces at the beginning of a line
21 spaces.before.key=value
22backslash=Used for multi\
23 line entries,\
24 that's convenient.
25# Unicode sequences
26unicode.key=This is \u0020 Unicode
27no.multiline=here
28# Colons
29colons : can be used too
30# Spaces
31spaces\ in\ keys=Not very common...
32</textarea></form>
33 <script>
34 var editor = CodeMirror.fromTextArea(document.getElementById("code"), {});
35 </script>
36
37 <p><strong>MIME types defined:</strong> <code>text/x-properties</code>.</p>
38
39 </body>
40</html>