diff options
author | 2013-11-09 20:12:53 +0800 | |
---|---|---|
committer | 2013-11-09 20:12:53 +0800 | |
commit | 63d93a2f9a6cd57d8be4854b0505885093e5bdba (patch) | |
tree | 2a375be2818b78b95af4406097903b12650d6b64 /doc_src | |
parent | ba2fcd9dae9ed03ce78e757891b3ad3fb3526c1d (diff) |
document new F1 binding
Diffstat (limited to 'doc_src')
-rw-r--r-- | doc_src/index.hdr.in | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc_src/index.hdr.in b/doc_src/index.hdr.in index f82f309a..09cdeccc 100644 --- a/doc_src/index.hdr.in +++ b/doc_src/index.hdr.in @@ -1139,6 +1139,7 @@ Here are some of the commands available in the editor: - Alt-P adds the string <code>'| less;'</code> to the end of the job under the cursor. The result is that the output of the command will be paged. - Alt-C capitalizes the current word. - Alt-U makes the current word uppercase. +- F1 shows the manual page for the current command, if one exists. You can change these key bindings using the <a href="commands.html#bind">bind</a> builtin command. |