mirror of
https://github.com/renbaoshuo/S2OJ.git
synced 2024-11-25 18:28:41 +00:00
84 lines
3.4 KiB
HTML
84 lines
3.4 KiB
HTML
<!doctype html>
|
||
|
||
<title>CodeMirror: Full Screen Editing</title>
|
||
<meta charset="utf-8"/>
|
||
<link rel=stylesheet href="../doc/docs.css">
|
||
|
||
<link rel="stylesheet" href="../lib/codemirror.css">
|
||
<link rel="stylesheet" href="../addon/display/fullscreen.css">
|
||
<link rel="stylesheet" href="../theme/night.css">
|
||
<script src="../lib/codemirror.js"></script>
|
||
<script src="../mode/xml/xml.js"></script>
|
||
<script src="../addon/display/fullscreen.js"></script>
|
||
|
||
<div id=nav>
|
||
<a href="http://codemirror.net"><img id=logo src="../doc/logo.png"></a>
|
||
|
||
<ul>
|
||
<li><a href="../index.html">Home</a>
|
||
<li><a href="../doc/manual.html">Manual</a>
|
||
<li><a href="https://github.com/marijnh/codemirror">Code</a>
|
||
</ul>
|
||
<ul>
|
||
<li><a class=active href="#">Full Screen Editing</a>
|
||
</ul>
|
||
</div>
|
||
|
||
<article>
|
||
<h2>Full Screen Editing</h2>
|
||
<form><textarea id="code" name="code" rows="5">
|
||
<dl>
|
||
<dt id="option_indentWithTabs"><code><strong>indentWithTabs</strong>: boolean</code></dt>
|
||
<dd>Whether, when indenting, the first N*<code>tabSize</code>
|
||
spaces should be replaced by N tabs. Default is false.</dd>
|
||
|
||
<dt id="option_electricChars"><code><strong>electricChars</strong>: boolean</code></dt>
|
||
<dd>Configures whether the editor should re-indent the current
|
||
line when a character is typed that might change its proper
|
||
indentation (only works if the mode supports indentation).
|
||
Default is true.</dd>
|
||
|
||
<dt id="option_specialChars"><code><strong>specialChars</strong>: RegExp</code></dt>
|
||
<dd>A regular expression used to determine which characters
|
||
should be replaced by a
|
||
special <a href="#option_specialCharPlaceholder">placeholder</a>.
|
||
Mostly useful for non-printing special characters. The default
|
||
is <code>/[\u0000-\u0019\u00ad\u200b\u2028\u2029\ufeff]/</code>.</dd>
|
||
<dt id="option_specialCharPlaceholder"><code><strong>specialCharPlaceholder</strong>: function(char) → Element</code></dt>
|
||
<dd>A function that, given a special character identified by
|
||
the <a href="#option_specialChars"><code>specialChars</code></a>
|
||
option, produces a DOM node that is used to represent the
|
||
character. By default, a red dot (<span style="color: red">•</span>)
|
||
is shown, with a title tooltip to indicate the character code.</dd>
|
||
|
||
<dt id="option_rtlMoveVisually"><code><strong>rtlMoveVisually</strong>: boolean</code></dt>
|
||
<dd>Determines whether horizontal cursor movement through
|
||
right-to-left (Arabic, Hebrew) text is visual (pressing the left
|
||
arrow moves the cursor left) or logical (pressing the left arrow
|
||
moves to the next lower index in the string, which is visually
|
||
right in right-to-left text). The default is <code>false</code>
|
||
on Windows, and <code>true</code> on other platforms.</dd>
|
||
</dl>
|
||
</textarea></form>
|
||
<script>
|
||
var editor = CodeMirror.fromTextArea(document.getElementById("code"), {
|
||
lineNumbers: true,
|
||
theme: "night",
|
||
extraKeys: {
|
||
"F11": function(cm) {
|
||
cm.setOption("fullScreen", !cm.getOption("fullScreen"));
|
||
},
|
||
"Esc": function(cm) {
|
||
if (cm.getOption("fullScreen")) cm.setOption("fullScreen", false);
|
||
}
|
||
}
|
||
});
|
||
</script>
|
||
|
||
<p>Demonstration of
|
||
the <a href="../doc/manual.html#addon_fullscreen">fullscreen</a>
|
||
addon. Press <strong>F11</strong> when cursor is in the editor to
|
||
toggle full screen editing. <strong>Esc</strong> can also be used
|
||
to <i>exit</i> full screen editing.</p>
|
||
</article>
|