patch 8.0.0820: GUI: cursor in terminal window lags behind

Problem: GUI: cursor in terminal window lags behind. Solution: call gui_update_cursor() under different conditions. (Ozaki Kiichi, closes #1893)
2017-07-30 19:02:02 +02:00
parent 0e23e9c5e7
commit 12d93ee26d
2 changed files with 11 additions and 5 deletions
--- a/src/version.c
+++ b/src/version.c
@@ -769,6 +769,8 @@ static char *(features[]) =

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