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

# · XML · 32 lines · 29 code · 1 blank · 2 comment · 0 complexity · 68d437142a461ae22a87126d091347e5 MD5 · raw file

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