10.1.2 Command History
You can _repeat_ previous and next commands by pressing the <Up> and
<Down> arrow keys, respectively. This presents you previous and later
commands on the command line; use <Return> to apply the current command.
If you enter an empty line (just use <Return> at the debugger
prompt), the last command is repeated as well.
`Commands => Command History' shows the command history.
You can _search_ for previous commands by pressing <Ctrl+B>. This
invokes _incremental search mode,_ where you can enter a string to be
searched in previous commands. Press <Ctrl+B> again to repeat the
search, or <Ctrl+F> to search in the reverse direction. To return to
normal mode, press <ESC>, or use any cursor command.
The command history is automatically saved when exiting DDD. You
can turn off this feature by setting the following resource to `off':
-- Resource: saveHistoryOnExit (class SaveOnExit)
If `on' (default), the command history is automatically saved when
automatically generated by info2www version 188.8.131.52