Mercurial > vim
comparison runtime/doc/builtin.txt @ 30697:d914a3812d5b v9.0.0683
patch 9.0.0683: cannot specify a time for :echowindow
Commit: https://github.com/vim/vim/commit/bdc09a18fca32715687d9911a431da69186528cc
Author: Bram Moolenaar <Bram@vim.org>
Date: Fri Oct 7 14:31:45 2022 +0100
patch 9.0.0683: cannot specify a time for :echowindow
Problem: Cannot specify a time for :echowindow.
Solution: A count can be used to specify the display time. Add
popup_findecho().
author | Bram Moolenaar <Bram@vim.org> |
---|---|
date | Fri, 07 Oct 2022 15:45:06 +0200 |
parents | f68f43043842 |
children | 71137f73c94d |
comparison
equal
deleted
inserted
replaced
30696:e42362178734 | 30697:d914a3812d5b |
---|---|
394 popup_close({id} [, {result}]) none close popup window {id} | 394 popup_close({id} [, {result}]) none close popup window {id} |
395 popup_create({what}, {options}) Number create a popup window | 395 popup_create({what}, {options}) Number create a popup window |
396 popup_dialog({what}, {options}) Number create a popup window used as a dialog | 396 popup_dialog({what}, {options}) Number create a popup window used as a dialog |
397 popup_filter_menu({id}, {key}) Number filter for a menu popup window | 397 popup_filter_menu({id}, {key}) Number filter for a menu popup window |
398 popup_filter_yesno({id}, {key}) Number filter for a dialog popup window | 398 popup_filter_yesno({id}, {key}) Number filter for a dialog popup window |
399 popup_findecho() Number get window ID of popup for `:echowin` | |
399 popup_findinfo() Number get window ID of info popup window | 400 popup_findinfo() Number get window ID of info popup window |
400 popup_findpreview() Number get window ID of preview popup window | 401 popup_findpreview() Number get window ID of preview popup window |
401 popup_getoptions({id}) Dict get options of popup window {id} | 402 popup_getoptions({id}) Dict get options of popup window {id} |
402 popup_getpos({id}) Dict get position of popup window {id} | 403 popup_getpos({id}) Dict get position of popup window {id} |
403 popup_hide({id}) none hide popup menu {id} | 404 popup_hide({id}) none hide popup menu {id} |