annotate .cms/lib/codemirror/demo/matchhighlighter.html @ 0:78edf6b517a0 draft

24.10
author Coffee CMS <info@coffee-cms.ru>
date Fri, 11 Oct 2024 22:40:23 +0000
parents
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
1 <!doctype html>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
2
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
3 <title>CodeMirror: Match Highlighter Demo</title>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
4 <meta charset="utf-8"/>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
5 <link rel=stylesheet href="../doc/docs.css">
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
6
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
7 <link rel="stylesheet" href="../lib/codemirror.css">
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
8 <script src="../lib/codemirror.js"></script>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
9 <script src="../addon/scroll/annotatescrollbar.js"></script>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
10 <script src="../addon/search/matchesonscrollbar.js"></script>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
11 <script src="../addon/search/searchcursor.js"></script>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
12 <script src="../addon/search/match-highlighter.js"></script>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
13 <style>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
14 .CodeMirror {border-top: 1px solid black; border-bottom: 1px solid black;}
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
15 .CodeMirror-focused .cm-matchhighlight {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
16 background-image: url(data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAAIAAAACCAYAAABytg0kAAAAFklEQVQI12NgYGBgkKzc8x9CMDAwAAAmhwSbidEoSQAAAABJRU5ErkJggg==);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
17 background-position: bottom;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
18 background-repeat: repeat-x;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
19 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
20 .cm-matchhighlight {background-color: lightgreen}
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
21 .CodeMirror-selection-highlight-scrollbar {background-color: green}
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
22 </style>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
23 <div id=nav>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
24 <a href="https://codemirror.net/5"><h1>CodeMirror</h1><img id=logo src="../doc/logo.png"></a>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
25
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
26 <ul>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
27 <li><a href="../index.html">Home</a>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
28 <li><a href="../doc/manual.html">Manual</a>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
29 <li><a href="https://github.com/codemirror/codemirror5">Code</a>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
30 </ul>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
31 <ul>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
32 <li><a class=active href="#">Match Highlighter</a>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
33 </ul>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
34 </div>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
35
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
36 <article>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
37 <h2>Match Highlighter Demo</h2>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
38 <form><textarea id="code" name="code">Select this text: hardtospot
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
39 And everywhere else in your code where hardtospot appears will
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
40 automatically illuminate. Give it a try! No more hard to spot
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
41 variables - stay in context of your code all the time.
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
42
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
43 Lorem ipsum dolor sit amet, consectetur adipiscing elit. Ut pharetra
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
44 interdum dui eu pulvinar. Mauris maximus ligula venenatis tempus
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
45 interdum. Cras hendrerit, ipsum sed ultrices pharetra, ligula diam
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
46 porttitor lacus, ac tempor eros est a massa. Nam orci elit, vulputate
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
47 in tristique quis, consectetur vitae metus. Pellentesque et enim
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
48 elementum, lobortis augue in, lacinia sapien. Morbi eu nunc semper,
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
49 sagittis felis a, pellentesque mauris. Lorem ipsum dolor sit amet,
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
50 consectetur adipiscing elit. Aenean quis diam turpis.
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
51
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
52 Fusce lobortis nisl quis aliquet euismod. Aenean vitae nulla non ipsum
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
53 efficitur scelerisque. Curabitur auctor, lorem non rhoncus porttitor,
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
54 augue ligula lacinia dolor, et vehicula magna lorem imperdiet velit.
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
55 Fusce risus sem, hardtospot commodo eleifend hendrerit vitae, mollis
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
56 quis risus. Cras tincidunt, justo vitae hendrerit venenatis, urna
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
57 dolor placerat tortor, eu lobortis lectus dolor in ligula. Nullam non
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
58 erat non nisl vulputate ultrices sit amet vestibulum dolor. Quisque in
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
59 tortor porta, pellentesque odio nec, malesuada nibh.
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
60
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
61 In a dui feugiat, ullamcorper urna in, accumsan magna. Donec egestas
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
62 sem nec eros rhoncus, vel gravida purus ornare. Nulla orci mauris,
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
63 porta nec pharetra sed, ornare et lorem. Donec luctus turpis nunc,
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
64 eget dictum felis mollis et. Sed sodales hardtospot nunc vitae leo
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
65 rhoncus imperdiet. Donec elementum malesuada velit quis placerat.
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
66 Proin accumsan lorem id nisi volutpat ullamcorper. Vivamus laoreet
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
67 dolor ac sem malesuada, ac scelerisque ex efficitur. Aliquam tempus
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
68 libero velit, vel tristique augue vulputate nec.
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
69
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
70 Mauris ultrices leo felis, sit amet congue augue aliquam condimentum.
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
71 Vivamus purus leo, mattis vitae dignissim vel, ultricies ac ex. Mauris
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
72 eu dolor eu purus ultricies ultrices. Sed euismod feugiat ex et
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
73 mattis. Morbi cursus laoreet pharetra. Donec eu dolor sodales,
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
74 ultricies nisi et, malesuada urna. Praesent sit amet fringilla felis.
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
75 Nam rhoncus, est blandit auctor auctor, lorem ipsum laoreet ipsum,
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
76 quis sodales libero odio in lorem. Phasellus odio dolor, elementum
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
77 sagittis nibh non, fermentum semper libero. Mauris hendrerit
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
78 hardtospot lectus sit amet commodo eleifend. Morbi pulvinar eget nisl
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
79 at eleifend. Fusce eget porta erat, vitae lobortis libero.
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
80
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
81 Phasellus sit amet massa in massa pharetra malesuada. Vestibulum at
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
82 quam vel libero aliquam volutpat at ut dui. Praesent scelerisque vel
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
83 mauris sit amet vehicula. Phasellus at mi nec ligula cursus interdum
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
84 sit amet non quam. Aliquam tempus sollicitudin euismod. Nulla euismod
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
85 mollis enim tincidunt placerat. Proin ac scelerisque enim, quis
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
86 sollicitudin metus. Pellentesque congue nec sapien ut rhoncus. Sed
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
87 eget ornare diam, ut consectetur ante. Aenean eleifend mauris quis
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
88 ornare accumsan. In hac habitasse hardtospot platea dictumst.
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
89
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
90 </textarea></form>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
91
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
92 <script>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
93 var editor = CodeMirror.fromTextArea(document.getElementById("code"), {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
94 lineNumbers: true,
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
95 // To highlight on scrollbars as well, pass annotateScrollbar in options
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
96 // as below.
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
97 highlightSelectionMatches: {showToken: /\w/, annotateScrollbar: true}
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
98 });
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
99 </script>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
100
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
101 <p>Search and highlight occurrences of the selected text.</p>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
102
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
103 </article>