/jEdit/tags/jedit-4-3-pre5/doc/users-guide/history.xml
XML | 32 lines | 28 code | 1 blank | 3 comment | 0 complexity | fff31864d56f0ecd61cc026bf259e3f6 MD5 | raw file
Possible License(s): BSD-3-Clause, AGPL-1.0, Apache-2.0, LGPL-2.0, LGPL-3.0, GPL-2.0, CC-BY-SA-3.0, LGPL-2.1, GPL-3.0, MPL-2.0-no-copyleft-exception, IPL-1.0
- <!-- jEdit buffer-local properties: -->
- <!-- :indentSize=1:noTabs=true: -->
- <!-- :xml.root=users-guide.xml: -->
- <appendix id="history"><title>History Text Fields</title>
- <para>
- The text fields in the search and replace dialog box
- and the file system browser remember the last 20 entered strings by
- default. The number of strings to remember can be changed in the
- <guibutton>Appearance</guibutton> pane of the
- <guimenu>Utilities</guimenu>><guimenuitem>Global Options</guimenuitem>
- dialog box; see <xref linkend="appearance-pane" />.
- </para>
- <para>
- Pressing <keycap>UP</keycap> recalls previous strings.
- Pressing <keycap>DOWN</keycap> after recalling previous strings
- recalls later strings.
- </para>
- <para>
- Pressing <keycap>S+UP</keycap> or <keycap>S+DOWN</keycap>
- will search backwards or forwards, respectively, for strings
- beginning with the text already entered in the text field.
- </para>
- <para>
- Clicking the triangle to the right of the text field, or
- clicking with the right-mouse button anywhere else will display
- a pop-up menu of all previously entered strings; selecting one will
- input it into the text field. Holding down <keycap>Shift</keycap>
- while clicking will display a menu of all previously entered
- strings that begin with the text already entered.
- </para>
- </appendix>