Merge pull request #10475 from erw7/fix-ext-popupmenu

Fix some keys not working in ext_popupmenu
This commit is contained in:
Björn Linse
2019-09-08 20:42:32 +02:00
committed by GitHub
5 changed files with 178 additions and 1 deletions

View File

@@ -221,6 +221,19 @@ void ui_refresh(void)
ui_cursor_shape();
}
int ui_pum_get_height(void)
{
int pum_height = 0;
for (size_t i = 1; i < ui_count; i++) {
int ui_pum_height = uis[i]->pum_height;
if (ui_pum_height) {
pum_height =
pum_height != 0 ? MIN(pum_height, ui_pum_height) : ui_pum_height;
}
}
return pum_height;
}
static void ui_refresh_event(void **argv)
{
ui_refresh();