patch 8.0.0771: cursor in terminal window not always updated in GUI

Problem: Cursor in a terminal window not always updated in the GUI. Solution: Call gui_update_cursor(). (Yasuhiro Matsumoto, closes #1868)
2017-07-24 23:36:41 +02:00
parent 86067eb05e
commit 1c84493bbe
2 changed files with 20 additions and 11 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 */
+/**/
+    771,
 /**/
    770,
 /**/