From 739bc5124ad2fafdee32d33e1340a73b3778e37e Mon Sep 17 00:00:00 2001 From: Björn Linse Date: Fri, 3 Nov 2017 09:34:31 +0100 Subject: docs: correct cmdline_special_char documentation (#7475) --- runtime/doc/ui.txt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/runtime/doc/ui.txt b/runtime/doc/ui.txt index 3644d0784f..685019aed7 100644 --- a/runtime/doc/ui.txt +++ b/runtime/doc/ui.txt @@ -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 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"] Hide the cmdline. -- cgit