On 2014-04-13, Ulrich Lauther wrote:

> BTW, in my current environment - Ubuntu 12.4 - pressing F1 does NOT
> bring up the mutt-manual, but the manual of the gnome-termial in which
> it is run.

To work around this, you can execute

    :push <f1>

where all those characters are typed literally, followed by the
Enter key.

Regards,
Gary

Reply via email to