diff options
| -rw-r--r-- | runtime/doc/ui.txt | 2 |
1 files changed, 1 insertions, 1 deletions
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. |