diff options
| author | Frank LENORMAND <lenormf@gmail.com> | 2021-11-04 07:15:43 +0300 |
|---|---|---|
| committer | Frank LENORMAND <lenormf@gmail.com> | 2021-11-04 07:15:43 +0300 |
| commit | 28559bc1e7d4947cd1f554b462c2b810ac2f147a (patch) | |
| tree | 0c9e3df0b2e7a3ba7a4b9b091dbe612a01520e2a | |
| parent | a70dbda54c16f327d6f6e7fa5573e3751f7fda47 (diff) | |
rc man: Rename mode to `man`
The suffix seems redundant when entering the mode with the
`enter-user-mode` command.
Closes #3970
| -rw-r--r-- | rc/tools/man.kak | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/rc/tools/man.kak b/rc/tools/man.kak index 5e57dc06..7f69eb34 100644 --- a/rc/tools/man.kak +++ b/rc/tools/man.kak @@ -135,10 +135,10 @@ man-jump %{ } # Suggested keymaps for a user mode -declare-user-mode man-mode +declare-user-mode man define-command man-mode-map -params 3 %{ - map global man-mode %arg[1] %arg[2] -docstring %arg[3] + map global man %arg[1] %arg[2] -docstring %arg[3] } -hidden man-mode-map 'g' ': man-jump<ret>' 'Jump to a man page using selected man page link' |