patch 8.1.1562: popup window not always redrawn after popup_setoptions()

Problem: Popup window not always redrawn after popup_setoptions(). Solution: Force a redraw.
2019-06-17 20:05:45 +02:00
parent ae943150d3
commit ad24a71e22
4 changed files with 20 additions and 1 deletions
--- a/src/version.c
+++ b/src/version.c
@@ -777,6 +777,8 @@ static char *(features[]) =

 static int included_patches[] =
 {   /* Add new patch number below this line */
+/**/
+    1562,
 /**/
    1561,
 /**/