File modules/editor/codemirror/mode/properties/index.html

Last commit: Sun Dec 17 01:14:09 2017 +0100	Jan Dankert	Integration eines weiteren Code-Editors: Codemirror. Demnächst müssen wir hier mal aufräumen und andere Editoren rauswerfen.
1 <!doctype html> 2 3 <title>CodeMirror: Properties files mode</title> 4 <meta charset="utf-8"/> 5 <link rel=stylesheet href="../../doc/docs.css"> 6 7 <link rel="stylesheet" href="../../lib/codemirror.css"> 8 <script src="../../lib/codemirror.js"></script> 9 <script src="properties.js"></script> 10 <style>.CodeMirror {border-top: 1px solid #ddd; border-bottom: 1px solid #ddd;}</style> 11 <div id=nav> 12 <a href="http://codemirror.net"><h1>CodeMirror</h1><img id=logo src="../../doc/logo.png"></a> 13 14 <ul> 15 <li><a href="../../index.html">Home</a> 16 <li><a href="../../doc/manual.html">Manual</a> 17 <li><a href="https://github.com/codemirror/codemirror">Code</a> 18 </ul> 19 <ul> 20 <li><a href="../index.html">Language modes</a> 21 <li><a class=active href="#">Properties files</a> 22 </ul> 23 </div> 24 25 <article> 26 <h2>Properties files mode</h2> 27 <form><textarea id="code" name="code"> 28 # This is a properties file 29 a.key = A value 30 another.key = http://example.com 31 ! Exclamation mark as comment 32 but.not=Within ! A value # indeed 33 # Spaces at the beginning of a line 34 spaces.before.key=value 35 backslash=Used for multi\ 36 line entries,\ 37 that's convenient. 38 # Unicode sequences 39 unicode.key=This is \u0020 Unicode 40 no.multiline=here 41 # Colons 42 colons : can be used too 43 # Spaces 44 spaces\ in\ keys=Not very common... 45 </textarea></form> 46 <script> 47 var editor = CodeMirror.fromTextArea(document.getElementById("code"), {}); 48 </script> 49 50 <p><strong>MIME types defined:</strong> <code>text/x-properties</code>, 51 <code>text/x-ini</code>.</p> 52 53 </article>
Download modules/editor/codemirror/mode/properties/index.html
History Sun, 17 Dec 2017 01:14:09 +0100 Jan Dankert Integration eines weiteren Code-Editors: Codemirror. Demnächst müssen wir hier mal aufräumen und andere Editoren rauswerfen.