annotate .cms/lib/codemirror/demo/theme.html @ 1:1d486627aa1e draft default tip

24.10
author Coffee CMS <info@coffee-cms.ru>
date Sat, 12 Oct 2024 02:51:39 +0000
parents 78edf6b517a0
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: Theme 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 <link rel="stylesheet" href="../theme/3024-day.css">
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
9 <link rel="stylesheet" href="../theme/3024-night.css">
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
10 <link rel="stylesheet" href="../theme/abbott.css">
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
11 <link rel="stylesheet" href="../theme/abcdef.css">
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
12 <link rel="stylesheet" href="../theme/ambiance.css">
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
13 <link rel="stylesheet" href="../theme/ayu-dark.css">
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
14 <link rel="stylesheet" href="../theme/ayu-mirage.css">
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
15 <link rel="stylesheet" href="../theme/base16-dark.css">
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
16 <link rel="stylesheet" href="../theme/bespin.css">
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
17 <link rel="stylesheet" href="../theme/base16-light.css">
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
18 <link rel="stylesheet" href="../theme/blackboard.css">
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
19 <link rel="stylesheet" href="../theme/cobalt.css">
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
20 <link rel="stylesheet" href="../theme/colorforth.css">
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
21 <link rel="stylesheet" href="../theme/dracula.css">
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
22 <link rel="stylesheet" href="../theme/duotone-dark.css">
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
23 <link rel="stylesheet" href="../theme/duotone-light.css">
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
24 <link rel="stylesheet" href="../theme/eclipse.css">
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
25 <link rel="stylesheet" href="../theme/elegant.css">
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
26 <link rel="stylesheet" href="../theme/erlang-dark.css">
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
27 <link rel="stylesheet" href="../theme/gruvbox-dark.css">
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
28 <link rel="stylesheet" href="../theme/hopscotch.css">
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
29 <link rel="stylesheet" href="../theme/icecoder.css">
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
30 <link rel="stylesheet" href="../theme/isotope.css">
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
31 <link rel="stylesheet" href="../theme/juejin.css">
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
32 <link rel="stylesheet" href="../theme/lesser-dark.css">
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
33 <link rel="stylesheet" href="../theme/liquibyte.css">
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
34 <link rel="stylesheet" href="../theme/lucario.css">
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
35 <link rel="stylesheet" href="../theme/material.css">
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
36 <link rel="stylesheet" href="../theme/material-darker.css">
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
37 <link rel="stylesheet" href="../theme/material-palenight.css">
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
38 <link rel="stylesheet" href="../theme/material-ocean.css">
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
39 <link rel="stylesheet" href="../theme/mbo.css">
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
40 <link rel="stylesheet" href="../theme/mdn-like.css">
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
41 <link rel="stylesheet" href="../theme/midnight.css">
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
42 <link rel="stylesheet" href="../theme/monokai.css">
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
43 <link rel="stylesheet" href="../theme/moxer.css">
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
44 <link rel="stylesheet" href="../theme/neat.css">
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
45 <link rel="stylesheet" href="../theme/neo.css">
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
46 <link rel="stylesheet" href="../theme/night.css">
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
47 <link rel="stylesheet" href="../theme/nord.css">
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
48 <link rel="stylesheet" href="../theme/oceanic-next.css">
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
49 <link rel="stylesheet" href="../theme/panda-syntax.css">
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
50 <link rel="stylesheet" href="../theme/paraiso-dark.css">
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
51 <link rel="stylesheet" href="../theme/paraiso-light.css">
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
52 <link rel="stylesheet" href="../theme/pastel-on-dark.css">
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
53 <link rel="stylesheet" href="../theme/railscasts.css">
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
54 <link rel="stylesheet" href="../theme/rubyblue.css">
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
55 <link rel="stylesheet" href="../theme/seti.css">
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
56 <link rel="stylesheet" href="../theme/shadowfox.css">
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
57 <link rel="stylesheet" href="../theme/solarized.css">
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
58 <link rel="stylesheet" href="../theme/the-matrix.css">
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
59 <link rel="stylesheet" href="../theme/tomorrow-night-bright.css">
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
60 <link rel="stylesheet" href="../theme/tomorrow-night-eighties.css">
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
61 <link rel="stylesheet" href="../theme/ttcn.css">
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
62 <link rel="stylesheet" href="../theme/twilight.css">
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
63 <link rel="stylesheet" href="../theme/vibrant-ink.css">
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
64 <link rel="stylesheet" href="../theme/xq-dark.css">
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
65 <link rel="stylesheet" href="../theme/xq-light.css">
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
66 <link rel="stylesheet" href="../theme/yeti.css">
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
67 <link rel="stylesheet" href="../theme/idea.css">
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
68 <link rel="stylesheet" href="../theme/darcula.css">
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
69 <link rel="stylesheet" href="../theme/yonce.css">
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
70 <link rel="stylesheet" href="../theme/zenburn.css">
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
71 <script src="../lib/codemirror.js"></script>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
72 <script src="../mode/javascript/javascript.js"></script>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
73 <script src="../addon/selection/active-line.js"></script>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
74 <script src="../addon/edit/matchbrackets.js"></script>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
75 <style>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
76 .CodeMirror {border: 1px solid black; font-size:13px}
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
77 </style>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
78 <div id=nav>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
79 <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
80
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
81 <ul>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
82 <li><a href="../index.html">Home</a>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
83 <li><a href="../doc/manual.html">Manual</a>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
84 <li><a href="https://github.com/codemirror/codemirror5">Code</a>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
85 </ul>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
86 <ul>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
87 <li><a class=active href="#">Theme</a>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
88 </ul>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
89 </div>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
90
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
91 <article>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
92 <h2>Theme Demo</h2>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
93 <form><textarea id="code" name="code">
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
94 function findSequence(goal) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
95 function find(start, history) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
96 if (start == goal)
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
97 return history;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
98 else if (start > goal)
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
99 return null;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
100 else
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
101 return find(start + 5, "(" + history + " + 5)") ||
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
102 find(start * 3, "(" + history + " * 3)");
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
103 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
104 return find(1, "1");
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
105 }</textarea></form>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
106
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
107 <p>Select a theme: <select onchange="selectTheme()" id=select>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
108 <option selected>default</option>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
109 <option>3024-day</option>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
110 <option>3024-night</option>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
111 <option>abbott</option>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
112 <option>abcdef</option>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
113 <option>ambiance</option>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
114 <option>ayu-dark</option>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
115 <option>ayu-mirage</option>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
116 <option>base16-dark</option>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
117 <option>base16-light</option>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
118 <option>bespin</option>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
119 <option>blackboard</option>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
120 <option>cobalt</option>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
121 <option>colorforth</option>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
122 <option>darcula</option>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
123 <option>dracula</option>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
124 <option>duotone-dark</option>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
125 <option>duotone-light</option>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
126 <option>eclipse</option>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
127 <option>elegant</option>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
128 <option>erlang-dark</option>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
129 <option>gruvbox-dark</option>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
130 <option>hopscotch</option>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
131 <option>icecoder</option>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
132 <option>idea</option>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
133 <option>isotope</option>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
134 <option>juejin</option>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
135 <option>lesser-dark</option>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
136 <option>liquibyte</option>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
137 <option>lucario</option>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
138 <option>material</option>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
139 <option>material-darker</option>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
140 <option>material-palenight</option>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
141 <option>material-ocean</option>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
142 <option>mbo</option>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
143 <option>mdn-like</option>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
144 <option>midnight</option>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
145 <option>monokai</option>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
146 <option>moxer</option>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
147 <option>neat</option>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
148 <option>neo</option>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
149 <option>night</option>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
150 <option>nord</option>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
151 <option>oceanic-next</option>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
152 <option>panda-syntax</option>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
153 <option>paraiso-dark</option>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
154 <option>paraiso-light</option>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
155 <option>pastel-on-dark</option>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
156 <option>railscasts</option>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
157 <option>rubyblue</option>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
158 <option>seti</option>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
159 <option>shadowfox</option>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
160 <option>solarized dark</option>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
161 <option>solarized light</option>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
162 <option>the-matrix</option>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
163 <option>tomorrow-night-bright</option>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
164 <option>tomorrow-night-eighties</option>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
165 <option>ttcn</option>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
166 <option>twilight</option>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
167 <option>vibrant-ink</option>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
168 <option>xq-dark</option>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
169 <option>xq-light</option>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
170 <option>yeti</option>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
171 <option>yonce</option>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
172 <option>zenburn</option>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
173 </select>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
174 </p>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
175
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
176 <script>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
177 var editor = CodeMirror.fromTextArea(document.getElementById("code"), {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
178 lineNumbers: true,
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
179 styleActiveLine: true,
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
180 matchBrackets: true
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
181 });
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
182 var input = document.getElementById("select");
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
183 function selectTheme() {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
184 var theme = input.options[input.selectedIndex].textContent;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
185 editor.setOption("theme", theme);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
186 location.hash = "#" + theme;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
187 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
188 var choice = (location.hash && location.hash.slice(1)) ||
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
189 (document.location.search &&
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
190 decodeURIComponent(document.location.search.slice(1)));
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
191 if (choice) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
192 input.value = choice;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
193 editor.setOption("theme", choice);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
194 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
195 CodeMirror.on(window, "hashchange", function() {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
196 var theme = location.hash.slice(1);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
197 if (theme) { input.value = theme; selectTheme(); }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
198 });
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
199 </script>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
200 </article>