annotate .cms/lib/codemirror/demo/fullscreen.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: Full Screen Editing</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="../addon/display/fullscreen.css">
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
9 <link rel="stylesheet" href="../theme/night.css">
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
10 <script src="../lib/codemirror.js"></script>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
11 <script src="../mode/xml/xml.js"></script>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
12 <script src="../addon/display/fullscreen.js"></script>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
13
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="#">Full Screen Editing</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>Full Screen Editing</h2>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
29 <form><textarea id="code" name="code" rows="5">
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
30 <dl>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
31 <dt id="option_indentWithTabs"><code><strong>indentWithTabs</strong>: boolean</code></dt>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
32 <dd>Whether, when indenting, the first N*<code>tabSize</code>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
33 spaces should be replaced by N tabs. Default is false.</dd>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
34
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
35 <dt id="option_electricChars"><code><strong>electricChars</strong>: boolean</code></dt>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
36 <dd>Configures whether the editor should re-indent the current
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
37 line when a character is typed that might change its proper
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
38 indentation (only works if the mode supports indentation).
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
39 Default is true.</dd>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
40
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
41 <dt id="option_specialChars"><code><strong>specialChars</strong>: RegExp</code></dt>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
42 <dd>A regular expression used to determine which characters
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
43 should be replaced by a
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
44 special <a href="#option_specialCharPlaceholder">placeholder</a>.
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
45 Mostly useful for non-printing special characters. The default
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
46 is <code>/[\u0000-\u0019\u00ad\u200b\u2028\u2029\ufeff]/</code>.</dd>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
47 <dt id="option_specialCharPlaceholder"><code><strong>specialCharPlaceholder</strong>: function(char) → Element</code></dt>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
48 <dd>A function that, given a special character identified by
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
49 the <a href="#option_specialChars"><code>specialChars</code></a>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
50 option, produces a DOM node that is used to represent the
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
51 character. By default, a red dot (<span style="color: red">•</span>)
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
52 is shown, with a title tooltip to indicate the character code.</dd>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
53
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
54 <dt id="option_rtlMoveVisually"><code><strong>rtlMoveVisually</strong>: boolean</code></dt>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
55 <dd>Determines whether horizontal cursor movement through
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
56 right-to-left (Arabic, Hebrew) text is visual (pressing the left
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
57 arrow moves the cursor left) or logical (pressing the left arrow
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
58 moves to the next lower index in the string, which is visually
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
59 right in right-to-left text). The default is <code>false</code>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
60 on Windows, and <code>true</code> on other platforms.</dd>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
61 </dl>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
62 </textarea></form>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
63 <script>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
64 var editor = CodeMirror.fromTextArea(document.getElementById("code"), {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
65 lineNumbers: true,
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
66 theme: "night",
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
67 extraKeys: {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
68 "F11": function(cm) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
69 cm.setOption("fullScreen", !cm.getOption("fullScreen"));
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
70 },
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
71 "Esc": function(cm) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
72 if (cm.getOption("fullScreen")) cm.setOption("fullScreen", false);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
73 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
74 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
75 });
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
76 </script>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
77
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
78 <p>Demonstration of
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
79 the <a href="../doc/manual.html#addon_fullscreen">fullscreen</a>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
80 addon. Press <strong>F11</strong> when cursor is in the editor to
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
81 toggle full screen editing. <strong>Esc</strong> can also be used
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
82 to <i>exit</i> full screen editing.</p>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
83 </article>