aboutsummaryrefslogtreecommitdiff
path: root/imports/codemirror/mode/properties/index.html
diff options
context:
space:
mode:
authorJon Reid2012-03-06 18:08:37 -0800
committerJon Reid2012-03-06 18:08:37 -0800
commit6056fdb63b5f4690115e63ee50e8d7dac309ba64 (patch)
tree5fbe386e4c7732fb84b98c9539b186898f076c7b /imports/codemirror/mode/properties/index.html
parentbcfb704b04587f95a13c474cf0598ba90ec3b371 (diff)
parenta12603cfcfe9d82def3b972dcbcc80f1e790ad85 (diff)
downloadninja-6056fdb63b5f4690115e63ee50e8d7dac309ba64.tar.gz
Merge branch 'Timeline-uber' into timeline-serialized
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>