| products/Sources/formale Sprachen/Isabelle/Tools/jEdit/dist/doc/users-guide/ |
|
Quellcode-Bibliothek© Kompilation durch diese Firma[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]Datei: search-replace.html Sprache: HTMLOriginal von: Isabelle© |
|
||||||||
<html><head>
<meta http-equiv="Content-Type" content="text/html; charset=ISO-8859-1"> <title>Search and Replace</title><meta name="generator" content="DocBook XSL Stylesheets (shortcut: <code class="keycap">C+f</code>) displays the search and replace dialog box.</p><p>The search string can be entered in the <span class="guibutton"><strong>Search for</strong></span> text field. This text field remembers previously entered strings; see <a class="xref" href="history.html" title="Appendix C. History Text not span a line break, the selected text becomes the default search string.</p><p>If the selection spans a line break, the <span class="guibutton"><strong>Search in Selection</strong></span> and <span class="guibutton"><strong>HyperSearch</strong></span> button will be pre-selected, and the search string field will be initially blank. (See <a class="xref" href="search-replace.html#hypersearch" title="HyperSearch"> HyperSearch feature.) </p><p>Selecting the <span class="guibutton"><strong>Ignore case</strong></ makes the search case insensitive - for example, searching for <span class="quote">“<span class="quote">Hello</span>”</span> will match <span class="quote">“<span c <span class="quote">“<span class="quote">HELLO</span>”</span> and <span class="quote">“<span class=" check box, searching respects the <span class="guibutton"><strong>Extra word characters</strong></span> setting from the editing options for recognizing words. </p><p>To search for special characters (such as newlines or non-printable characters), inexact sequences of text, or strings that span multiple lines, we use <span class="bold"><strong>Regular Expressions</strong></span>. Selecting the <span class="guibutton"><strong>Regular expressions</strong></span> check box allows special characters to be used in the search string. Regular expression syntax is described in <a class="xref" href="regexps.html" title="Appen If you use (groups) in the search field, you back-reference them with $1 through $9 in the replace field. </p><p>The <span class="guibutton"><strong>Backward</stron <span class="guibutton"><strong>Forward</strong></span> buttons specify the search direction. Note that regular expressions can only be used when searching in a forward direction.</p><p>Clicking <span class="guibutton"><strong>Find</strong></span> will locat occurrence of the search string (or previous occurrence, if searching backwards). If the <span class="guibutton"><strong>Keep dialog</strong></span> check box is selected, the dialog box will remain open after the search string has been located; otherwise, it will close.</p><p>If no occurrences could be found a wrap</strong></span> check box is selected, the search will automatically restart from the beginning of the buffer (or the end, if searching backwards). If <span class="guibutton"><strong>Auto wrap</strong></span> is not selected, a confirmation dialog box is shown before restarting the search.</p><p><span class="guimenu"><strong>Search</strong></span>><span class="guimenuitem"><stro Next</strong></span> (shortcut: <code class="keycap">C+g</code>) locates the next occurrence of the most recent search string without displaying the search and replace dialog box.</p><p><span class="guimenu"><strong>Search</strong></span>><span clas Previous</strong></span> (shortcut: <code class="keycap">C+h</code>) locates the previous occurrence of the most recent search string without displaying the search and replace dialog box.</p></div><div class="section"><div class="titlepa previously entered strings; see <a class="xref" href="history.html" title="Appendix C. His details.</p><p>Clicking <span class="guibutton"><strong>Replace & Find</strong></span> will perform a replacement in the current selection and locate the next occurrence of the search string. Clicking <span class="guibutton"><strong>Replace All</strong></span> will replace all occurrences of the search string with the replacement string in the current search scope (which is either the selection, the current buffer, or a set of buffers, as specified in the search and replace dialog box).</p><p>Occurrences of the search string can be rep replacement string, or the return value of a BeanShell script snippet. Two radio buttons in the search and replace dialog box select between the two replacement modes, which are described in detail below.</p><div class="section"><div class="titlepage"><div><div><h4 class="title"><a name=" search string is simply replaced with the replacement string.</p><p>If regular expressions are enabled, positional parameters (<code class="literal">$0</code>, <code class="literal">$1</code>, <code class="literal">$2</code>, and so on) can be used to insert the contents of matched subexpressions in the replacement string; see <a class="xref" href="regexps.html" title="Appendix E. Regular Expressions">Appendix modify the case of the replacement string to match that of the particular instance of the search string being replaced. For example, searching for <span class="quote">“<span class="quote">label</span>”</span> and replacin with <span class="quote">“<span class="quote">text</span>”</span>, will perform the following replacements:</p><div class="itemizedlist"><ul class="itemizedlist" style="list-style-ty <span class="quote">“<span class="quote">String text</span>”</span></p></li><li class="listitem"><p><sp <span class="quote">“<span class="quote">setText</span>”</span></p></li><li class="listitem"><p><span c <span class="quote">“<span class="quote">DEFAULT_TEXT</span>”</span></p></li></ul></div></div><div class replaced with the return value of a BeanShell snippet. If you want to use multiple line snippet, enclose your BeanShell in braces. The following predefined variables can be referenced in the snippet:</p><div class="itemizedlist"><ul class="itemizedlist" style="list-style-ty replaced</p></li><li class="listitem"><p><code class="varname">_1</code> - <code class="varname">_9< if regular expressions are enabled, these contain the values of matched subexpressions.</p></li></ul></div><p>BeanShell syntax and features are covered i in <a class="xref" href="writing-macros-part.html" title="Part III. Writing Macros">Part examples:</p><div class="informalexample"><p>To replace each occurrence of <span class="quote">“< with <span class="quote">“<span class="quote">Linux</span>”</span>, and each occurrence of <span class="quote">“<span class="quote">Linux</span>”</span> with <span class="quote">“<span class= the following regular expression:</p><pre class="programlisting">(Windows|Linux)</pre><p>Rep snippet:</p><pre class="programlisting">_1.equals("Windows") ? "Linux" : "Windows"</pre></di following regular expression:</p><pre class="programlisting"><\S+</pre><p>Replacing it with the snippet:</p><pre class="programlisting">_0.toLowerCase()</pre></div><div class="informalexa braces with the result of evaluating the expression, search for the following regular expression:</p><pre class="programlisting">\{(.+?)\}</pre><p>Replac snippet:</p><pre class="programlisting">eval(_1)</pre></div><div class="informalexample"><p>To snippet (note the braces around multi-instruction beanshell code):</p><pre class="programli {r = new java.util.Random(); b = ""; for(i=0;i<3;i++)b+=(r.nextInt(5)+1) + " "; return b;} </pre></div><p>These examples only scratch the surface; the possibilities are endless.</p></div></div><div class="section"><div class="titlepage"><div><div><h3 class="title">< search and replace dialog box is selected, clicking <span class="guibutton"><strong>Find</strong></span> lists all occurrences of the search string, instead of locating the next match.</p><p>By default, HyperSearch results are shown in a f window. This window can be docked using the commands in its top-left corner popup menu; see <a class="xref" href="docking.html" title="Window Docking Layouts selected in the results window, past search results are retained.</p><p>Running searches can be stopped in the <span class="guimenu"><strong>Utilities</strong></span>><span class="guisubmenu"><strong>Troubl Progress Monitor</strong></span> dialog box.</p><p>Once the results are shown in the Hypersearch do left-click on a result to jump to the position, or right-click to see some "hidden actions". From the top tree-node, for example, you can <span class="guimenuitem"><strong>Redo Hypersearch</strong></span>, and <span class="guimenuit Clipboard</strong></span>. </p></div><div class="section"><div class="titlepage"><div><div><h3 class= set of files in one step. The set of files to search is selected with a set of buttons in the search dialog box.</p><p>If the <span class="guibutton"><strong>Current selected, only the current buffer is searched. This is the default behavior.</p><p>If the <span class="guibutton"><strong>All buffers</strong></span> button is select all open buffers whose names match the glob pattern entered in the <span class="guibutton"><strong>Filter</strong></span> text field will be searched. See <a class=" selected, all files contained in the specified directory whose names match the glob will be searched. The directory to search in can either be entered in the <span class="guibutton"><strong>Directory</strong></span> text field, or chosen in a file selector dialog box by clicking the <span class="guibutton"><strong>Choose</strong></span> button next to the field. If the <span class="guibutton"><strong>Search subdirectories</strong></span> check box is selected, all subdirectories of the specified directory will also be searched. Keep in mind that searching through directories containing many files can take a long time.</p><p>The <span class="guibutton"><strong>Directory</strong></span> and <span class="guibutton"><strong>Filter</strong></span> text fields remember previously entered strings; see <a class="xref" href="history.html" title="Appendix C. History Text directory and file name filter fields are set to their previous values. They can be set to match the current buffer's directory and file name extension by clicking <span class="guibutton"><strong>Synchronize</strong></span>.</p><p>Note that clicking the <span cla <span class="guibutton"><strong>Directory</strong></span> radio buttons also selects the <span class="guibutton"><strong>HyperSearch</strong></span> check box since that is what you would want, most of the time. However, the <span class="guibutton"><strong>HyperSearch</strong></span> check box can be unchecked, for stepping through search results in multiple files one at a time.</p><p>Two convenience commands are provided for performing multiple file searches.</p><p><span class="guimenu"><strong>Search</strong></span>><span class="guimenuite Buffers</strong></span> (shortcut: <code class="keycap">C+e C+b</code>) displays the search dialog box and selects the <span class="guibutton"><strong>All buffers</strong></span> button.</p><p><span class="guimenu"><strong>Search</strong></span>><span clas Directory</strong></span> (shortcut: <code class="keycap">C+e C+d</code>) displays the search dialog box and selects the <span class="guibutton"><strong>Directory</strong></span> button.</p></div><div class="section"><d the current buffer without opening the search dialog box. The search bar does not support replacement or multiple file search. Previously entered strings can be recalled in the search bar with the <code class="keycap">Up</code> and <code class="keycap">Down</code> arrow keys; see <a class="xref quick search commands (described below) is invoked; however you can choose to have it always visible in the <span class="guibutton"><strong>View</strong></span> pane of the <span class="guimenu"><strong>Utilities</strong></span>><span class="guimenuitem"><strong>Optio dialog box; see <a class="xref" href="global-opts.html#view-pane" title="The View Pane"> Bar</strong></span> (shortcut: <code class="keycap">C+COMMA</code>) displays the search bar if necessary, and gives it keyboard focus. </p><p><span class="guimenu"><strong>Search</ for Word</strong></span> (shortcut: <code class="keycap">A+COMMA</code>) behaves like the above command except it places the word at the caret in the search string field. If this command is invoked while there is a selection, the selection is placed in the search string field instead.</p><p>Unless the <span class="guibutton"><strong>HyperSearch</strong></span> check selected, the search bar will perform an <em class="firstterm">incremental search</em>. In incremental search mode, the first occurrence of the search string is located in the current buffer as it is being typed. Pressing <code class="keycap">ENTER</code> and <code class="keycap">S+ENTER</code> searches for the next and previous occurrence, respectively. Once the desired occurrence has been located, pressing <code class="keycap">ESCAPE</code> returns keyboard focus to the text area. Unless the search bar is set to be always visible (see above), pressing <code class="keycap">ESCAPE</code> will also hide the search bar.</p><div class="note" style="margin-left: 0.5in; margin-right: 0.5in;"><h3 class="ti your macro needs to perform a search, use the search and replace dialog box instead. See <a class="xref" href="using-macros.html" title="Chapter 8. Using M information about macros.</p></div><p><span class="guimenu"><strong>Search</strong></span>><span cla Bar</strong></span> (shortcut: <code class="keycap">C+PERIOD</code>) displays the search bar if necessary, gives it keyboard focus, and selects the <span class="guibutton"><strong>HyperSearch</strong></span> check box. If this command is invoked while there is a selection, the selected text will be searched for immediately and the search bar will not be shown.</p><p>If the <span class="guibutton"><strong>HyperSearch</strong></span> check box is selected, pressing <code class="keycap">Enter</code> in the search string field will perform a HyperSearch in the current buffer.</p><p><span class="guimenu"><strong>Search</str Word</strong></span> (shortcut: <code class="keycap">A+PERIOD</code>) performs a HyperSearch for the word at the caret. This command does not show the search bar or give it keyboard focus.</p></div></div><div class="navfooter"><hr><table width="10 ¤ Dauer der Verarbeitung: 0.8 Sekunden (vorverarbeitet) ¤ |
Haftungshinweis
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:Die farbliche Syntaxdarstellung ist noch experimentell.Bot Zugriff |
