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)
diff --git a/src/ex_cmds.c b/src/ex_cmds.c
index db5fecd..c15bbc5 100644
--- a/src/ex_cmds.c
+++ b/src/ex_cmds.c
@@ -4971,6 +4971,9 @@
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 fc6808b..bb783f8 100644
--- a/src/version.c
+++ b/src/version.c
@@ -742,6 +742,8 @@
static int included_patches[] =
{ /* Add new patch number below this line */
/**/
+ 2277,
+/**/
2276,
/**/
2275,