patch 9.0.0285: it is not easy to change the command line from a plugin

Problem:    It is not easy to change the command line from a plugin.
Solution:   Add setcmdline(). (Shougo Matsushita, closes #10869)
This commit is contained in:
Shougo Matsushita
2022-08-27 12:22:25 +01:00
committed by Bram Moolenaar
parent 5ff595d9db
commit 07ea5f1509
8 changed files with 134 additions and 11 deletions

View File

@ -1038,6 +1038,7 @@ Command line: *command-line-functions*
getcmdpos() get position of the cursor in the command line
getcmdscreenpos() get screen position of the cursor in the
command line
setcmdline() set the current command line
setcmdpos() set position of the cursor in the command line
getcmdtype() return the current command-line type
getcmdwintype() return the current command-line window type