patch 8.1.1402: "timer" option of popup windows not supported
Problem: "timer" option of popup windows not supported.
Solution: Implement the "timer" option. (Yasuhiro Matsumoto, closes #4439)
diff --git a/runtime/doc/popup.txt b/runtime/doc/popup.txt
index 8d3619a..af51885 100644
--- a/runtime/doc/popup.txt
+++ b/runtime/doc/popup.txt
@@ -142,7 +142,7 @@
\ 'tab': -1,
\ 'zindex': 200,
\ 'highlight': 'WarningMsg',
- \ 'border: [],
+ \ 'border': [],
\ })
< Use {options} to change the properties.
@@ -339,7 +339,6 @@
zindex priority for the popup, default 50
time time in milliseconds after which the popup will close;
when omitted |popup_close()| must be used.
- {not implemented yet}
moved "cell": close the popup if the cursor moved at least
one screen cell; "word" allows for moving within
|<cword>|, "WORD" allows for moving within |<cWORD>|,