mirror of
https://github.com/renbaoshuo/S2OJ.git
synced 2024-11-25 01:48:42 +00:00
96d4a3ecf7
Due to historical reasons, the code is in subfolder "1". With SVN removal, we place the code back and remove the annoying "1" folder.
88 lines
3.8 KiB
HTML
88 lines
3.8 KiB
HTML
<!doctype html>
|
||
|
||
<title>CodeMirror: Search/Replace Demo</title>
|
||
<meta charset="utf-8"/>
|
||
<link rel=stylesheet href="../doc/docs.css">
|
||
|
||
<link rel="stylesheet" href="../lib/codemirror.css">
|
||
<link rel="stylesheet" href="../addon/dialog/dialog.css">
|
||
<script src="../lib/codemirror.js"></script>
|
||
<script src="../mode/xml/xml.js"></script>
|
||
<script src="../addon/dialog/dialog.js"></script>
|
||
<script src="../addon/search/searchcursor.js"></script>
|
||
<script src="../addon/search/search.js"></script>
|
||
<style type="text/css">
|
||
.CodeMirror {border-top: 1px solid black; border-bottom: 1px solid black;}
|
||
dt {font-family: monospace; color: #666;}
|
||
</style>
|
||
<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="#">Search/Replace</a>
|
||
</ul>
|
||
</div>
|
||
|
||
<article>
|
||
<h2>Search/Replace Demo</h2>
|
||
<form><textarea id="code" name="code">
|
||
<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"), {mode: "text/html", lineNumbers: true});
|
||
</script>
|
||
|
||
<p>Demonstration of primitive search/replace functionality. The
|
||
keybindings (which can be overridden by custom keymaps) are:</p>
|
||
<dl>
|
||
<dt>Ctrl-F / Cmd-F</dt><dd>Start searching</dd>
|
||
<dt>Ctrl-G / Cmd-G</dt><dd>Find next</dd>
|
||
<dt>Shift-Ctrl-G / Shift-Cmd-G</dt><dd>Find previous</dd>
|
||
<dt>Shift-Ctrl-F / Cmd-Option-F</dt><dd>Replace</dd>
|
||
<dt>Shift-Ctrl-R / Shift-Cmd-Option-F</dt><dd>Replace all</dd>
|
||
</dl>
|
||
<p>Searching is enabled by
|
||
including <a href="../addon/search/search.js">addon/search/search.js</a>
|
||
and <a href="../addon/search/searchcursor.js">addon/search/searchcursor.js</a>.
|
||
For good-looking input dialogs, you also want to include
|
||
<a href="../addon/dialog/dialog.js">addon/dialog/dialog.js</a>
|
||
and <a href="../addon/dialog/dialog.css">addon/dialog/dialog.css</a>.</p>
|
||
</article>
|