annotate .cms/lib/codemirror/demo/changemode.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: Mode-Changing 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="../mode/javascript/javascript.js"></script>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
10 <script src="../mode/scheme/scheme.js"></script>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
11 <style>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
12 .CodeMirror {border: 1px solid black;}
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
13 </style>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
14 <div id=nav>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
15 <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
16
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
17 <ul>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
18 <li><a href="../index.html">Home</a>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
19 <li><a href="../doc/manual.html">Manual</a>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
20 <li><a href="https://github.com/codemirror/codemirror5">Code</a>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
21 </ul>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
22 <ul>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
23 <li><a class=active href="#">Mode-Changing</a>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
24 </ul>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
25 </div>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
26
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
27 <article>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
28 <h2>Mode-Changing Demo</h2>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
29 <form><textarea id="code" name="code">
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
30 ;; If there is Scheme code in here, the editor will be in Scheme mode.
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
31 ;; If you put in JS instead, it'll switch to JS mode.
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
32
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
33 (define (double x)
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
34 (* x x))
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
35 </textarea></form>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
36
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
37 <p>On changes to the content of the above editor, a (crude) script
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
38 tries to auto-detect the language used, and switches the editor to
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
39 either JavaScript or Scheme mode based on that.</p>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
40
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
41 <script>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
42 var editor = CodeMirror.fromTextArea(document.getElementById("code"), {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
43 mode: "scheme",
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
44 lineNumbers: true
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
45 });
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
46 var pending;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
47 editor.on("change", function() {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
48 clearTimeout(pending);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
49 pending = setTimeout(update, 400);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
50 });
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
51 function looksLikeScheme(code) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
52 return !/^\s*\(\s*function\b/.test(code) && /^\s*[;\(]/.test(code);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
53 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
54 function update() {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
55 editor.setOption("mode", looksLikeScheme(editor.getValue()) ? "scheme" : "javascript");
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
56 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
57 </script>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
58 </article>