patch 8.1.2037: can call win_gotoid() in cmdline window

Problem: Can call win_gotoid() in cmdline window. Solution: Disallow switching windows. (Yasuhiro Matsumoto, closes #4940)
2019-09-15 17:26:07 +02:00
parent 1ac90b4fa6
commit a046b37c22
3 changed files with 30 additions and 17 deletions
--- a/src/version.c
+++ b/src/version.c
@@ -757,6 +757,8 @@ static char *(features[]) =

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