Bookmarks

Bookmarks take you back to directories you use often, with one key each (0–9, a–z). They are saved between runs, with the prompt history.

• Ctrl+F11 (or Ctrl+B in the tree) saves the current directory: press the key to give it.
• ' jumps: press the bookmark’s key. At the same prompt, ' or Enter opens the list and + saves the current directory.
• F11 (or Alt+B) opens the bookmarks manager: ↑ ↓ choose, Enter (or the bookmark’s key) jumps, Del removes, Insert or + saves the current directory, Esc closes.

A directory outside the tree opens as a new tree, as with Log. In the file window, Ctrl+B is Batch; there, use Ctrl+F11.