rc doc: Hide private commands

This commit is contained in:
Frank LENORMAND 2020-12-17 16:43:48 +03:00 committed by GitHub
parent ce96c3f262
commit deff6b2fa9
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -54,7 +54,7 @@ define-command -hidden doc-parse-anchors %{
} } } }
} }
define-command doc-jump-to-anchor -params 1 %{ define-command -hidden doc-jump-to-anchor -params 1 %{
update-option buffer doc_anchors update-option buffer doc_anchors
evaluate-commands %sh{ evaluate-commands %sh{
anchor="$1" anchor="$1"
@ -71,7 +71,7 @@ define-command doc-jump-to-anchor -params 1 %{
} }
} }
define-command doc-follow-link %{ define-command -hidden doc-follow-link %{
update-option buffer doc_links update-option buffer doc_links
evaluate-commands %sh{ evaluate-commands %sh{
eval "set -- $kak_quoted_opt_doc_links" eval "set -- $kak_quoted_opt_doc_links"