docs: correct cmdline_special_char documentation (#7475)

This commit is contained in:
Björn Linse
2017-11-03 09:34:31 +01:00
committed by GitHub
parent a39c8b7ce3
commit 739bc5124a

View File

@@ -266,7 +266,7 @@ Only sent if `ext_cmdline` option is set in |ui-options|
`shift` is true the text after the cursor should be shifted, otherwise `shift` is true the text after the cursor should be shifted, otherwise
it should overwrite the char at the cursor. it should overwrite the char at the cursor.
Should be hidden at next cmdline_show or cmdline_pos. Should be hidden at next cmdline_show.
["cmdline_hide"] ["cmdline_hide"]
Hide the cmdline. Hide the cmdline.