patch 8.1.1741: cleared/added match highlighting not updated in other window

Problem: Cleared/added match highlighting not updated in other window. (Andi Massimino) Solution: Mark the right window for refresh.
2019-07-24 15:28:18 +02:00
parent d08b8c4c04
commit 4ef18dcc2e
5 changed files with 65 additions and 10 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 */
+/**/
+    1741,
 /**/
    1740,
 /**/