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