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