aboutsummaryrefslogtreecommitdiff
path: root/imports/codemirror/mode/properties/index.html
diff options
context:
space:
mode:
authorPushkar Joshi2012-03-06 17:04:40 -0800
committerPushkar Joshi2012-03-06 17:04:40 -0800
commit7a43958033906b2273de88bc2a26cda7a905d202 (patch)
treef71817e712c4b07a48257a4f0b206cf9033421df /imports/codemirror/mode/properties/index.html
parent264e3d8e6d3624083d2fab9fe2560234553bb2ad (diff)
parent2e3943a8f751ec572066f168b58464c24b9f29e5 (diff)
downloadninja-7a43958033906b2273de88bc2a26cda7a905d202.tar.gz
Merge branch 'master' into brushtool
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>