patch 8.2.0214: a popup window with a terminal can be made hidden

Problem: A popup window with a terminal can be made hidden. Solution: Disallow hiding a terminal popup.
2020-02-05 21:07:18 +01:00
parent 7077892a79
commit 2e6638d5f0
4 changed files with 30 additions and 2 deletions
--- a/src/version.c
+++ b/src/version.c
@@ -742,6 +742,8 @@ static char *(features[]) =

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