From b73e439606b55d66d9e81da1f9cae729af37cf04 Mon Sep 17 00:00:00 2001 From: Bram Moolenaar Date: Sat, 9 Nov 2019 20:00:35 +0100 Subject: [PATCH] patch 8.1.2277: terminal window is not updated when info popup changes Problem: Terminal window is not updated when info popup changes. Solution: Redraw windows when re-using an info popup. (closes #5192) --- src/ex_cmds.c | 3 +++ src/version.c | 2 ++ 2 files changed, 5 insertions(+) diff --git a/src/ex_cmds.c b/src/ex_cmds.c index db5fecd5b..c15bbc5f4 100644 --- a/src/ex_cmds.c +++ b/src/ex_cmds.c @@ -4971,6 +4971,9 @@ prepare_tagpreview( popup_show(wp); else popup_hide(wp); + // When the popup moves or resizes it may reveal part of + // another window. TODO: can this be done more efficiently? + redraw_all_later(NOT_VALID); } } else diff --git a/src/version.c b/src/version.c index fc6808b9c..bb783f86d 100644 --- a/src/version.c +++ b/src/version.c @@ -741,6 +741,8 @@ static char *(features[]) = static int included_patches[] = { /* Add new patch number below this line */ +/**/ + 2277, /**/ 2276, /**/ -- 2.50.1