Spaces:
Running
Running
| <html> | |
| <head> | |
| <meta charset="utf-8"> | |
| <title>CodeMirror: Match Highlighter Demo</title> | |
| <link rel="stylesheet" href="../lib/codemirror.css"> | |
| <script src="../lib/codemirror.js"></script> | |
| <script src="../addon/search/searchcursor.js"></script> | |
| <script src="../addon/selection/mark-selection.js"></script> | |
| <link rel="stylesheet" href="../doc/docs.css"> | |
| <style type="text/css"> | |
| .CodeMirror {border-top: 1px solid black; border-bottom: 1px solid black;} | |
| .CodeMirror-selected { background-color: blue ; } | |
| .CodeMirror-selectedtext { color: white; } | |
| </style> | |
| </head> | |
| <body> | |
| <h1>CodeMirror: Mark Selection Demo</h1> | |
| <form><textarea id="code" name="code">Select something from here. | |
| You'll see that the selection's foreground color changes to white! | |
| Since, by default, CodeMirror only puts an independent "marker" layer | |
| behind the text, you'll need something like this to change its colour.</textarea></form> | |
| <script> | |
| var editor = CodeMirror.fromTextArea(document.getElementById("code"), { | |
| lineNumbers: true, | |
| styleSelectedText: true | |
| }); | |
| </script> | |
| <p>Simple addon to easily mark (and style) selected text.</p> | |
| </body> | |
| </html> | |