X-Git-Url: http://git.onelab.eu/?a=blobdiff_plain;f=third-party%2Fcodemirror-3.15%2Fdemo%2Fmarkselection.html;fp=third-party%2Fcodemirror-3.15%2Fdemo%2Fmarkselection.html;h=e1c054869fcacf67774955cee582f71a49874527;hb=75d3bceb8e1d168e83982f910a916aee3bab7981;hp=0000000000000000000000000000000000000000;hpb=302dd5bda1297ed6579ca26da35ee67f8d35d934;p=unfold.git
diff --git a/third-party/codemirror-3.15/demo/markselection.html b/third-party/codemirror-3.15/demo/markselection.html
new file mode 100644
index 00000000..e1c05486
--- /dev/null
+++ b/third-party/codemirror-3.15/demo/markselection.html
@@ -0,0 +1,36 @@
+
+
+
+
+ CodeMirror: Match Highlighter Demo
+
+
+
+
+
+
+
+
+
+ CodeMirror: Mark Selection Demo
+
+
+
+
+
+ Simple addon to easily mark (and style) selected text.
+
+
+