PageRenderTime 19ms CodeModel.GetById 16ms app.highlight 1ms RepoModel.GetById 1ms app.codeStats 0ms

/jEdit/tags/jedit-4-1-pre5/doc/users-guide/history.xml

#
XML | 32 lines | 29 code | 1 blank | 2 comment | 0 complexity | 3ae25b02ce8892c9188ec092bef142c6 MD5 | raw file
 1<!-- jEdit buffer-local properties: -->
 2<!-- :indentSize=1:noTabs=true: -->
 3
 4<appendix id="history"><title>History Text Fields</title>
 5 <para>
 6  The text fields in the search and replace dialog box
 7  and file system browser remember the last 20 entered strings by
 8  default. The number of strings to remember can be changed in the
 9  <guibutton>General</guibutton> pane of the
10  <guimenu>Utilities</guimenu>&gt;<guimenuitem>Global Options</guimenuitem>
11  dialog box; see <xref linkend="global-opts" />.
12 </para>
13 <para>
14  Pressing <keycap>Up</keycap> recalls previous strings.
15  Pressing <keycap>Down</keycap> after recalling previous strings
16  recalls later strings.
17 </para>
18 <para>
19  Pressing <keycombo><keycap>Shift</keycap><keycap>Up</keycap></keycombo>
20  or <keycombo><keycap>Shift</keycap><keycap>Down</keycap></keycombo>
21  will search backwards or forwards, respectively, for strings
22  beginning with the text already entered in the text field.
23 </para>
24 <para>
25  Clicking the triangle to the right of the text field, or
26  clicking with the right-mouse button anywhere else will display
27  a pop-up menu of all previously entered strings; selecting one will
28  input it into the text field. Holding down <keycap>Shift</keycap>
29  while clicking will display a menu of all previously entered
30  strings that begin with the text already entered.
31 </para>
32</appendix>