Dear gap-forum,

The following is an excerpt from the GAP manual ("Line Editing"),

The next commands allow you to fetch previous lines, e.g., to correct
typos, etc. This history is limited to about 8000 characters.

<ctr>-'L'       insert last input line before current character.
<ctr>-'P'       redisplay  the last input   line, another  <ctr>-'P' will
                redisplay the line  before that, etc.   If  the cursor is
                not in the first column  only the lines starting with the
                string to the left  of the cursor  are taken.
<ctr>-'N'       Like <ctr>-'P' but goes the other way round  through  the
                history.
<esc>-'<'       goes to the beginning of the history.
<esc>-'>'       goes to the end of the history.
<ctr>-'O'       accepts this line and perform a <ctr>-'N'.

This should be updated, since the command <ctr>-'O' does not seem to be
implemented. I was delighted to find out today that a feature just like it
exists in GAP already but is not explicitly mentioned in the manual.
Instead of typing <ctl>-'O' to accept the line and edit the historically
following one, simply hit return to accept the line and then press
<ctl>-'N' to receive the next one.

This is a feature I have sorely missed, and only discovered it today by
accident --- perhaps it should be mentioned explicitly in the manual?

(I had assumed that it was my terminal emulator/settings that were causing
the problem with using <ctl>-'O').

Cheers,
Michael.

---------------------------------/|-|--|-|--|-Michael-Smith------------------
 Michael.Smith@maths.anu.edu.au /-| |\ | |  | Mathematics (CMA)
-------------------------------/--|-|-\|-|_/|-Australian-National-University-