patch 8.0.1756: GUI: after prompting for a number the mouse shape is wrong

Problem:    GUI: after prompting for a number the mouse shape is sometimes
            wrong.
Solution:   Call setmouse() after setting "State". (Hirohito Higashi,
            closes #2709)

diff --git a/src/misc1.c b/src/misc1.c
index 135293dd2d64458d0d1cdfb862aa741f40f34e0d..531c5e423b018fc589fc777538fc5e5547abf7f1 100644 (file)
--- a/src/misc1.c
+++ b/src/misc1.c
@@ -3594,6 +3594,11 @@ prompt_for_number(int *mouse_used)
     cmdline_row = 0;
     save_State = State;
     State = ASKMORE;   /* prevents a screen update when using a timer */
+#ifdef FEAT_MOUSE
+    /* May show different mouse shape. */
+    setmouse();
+#endif
+
 
     i = get_number(TRUE, mouse_used);
     if (KeyTyped)
@@ -3608,6 +3613,10 @@ prompt_for_number(int *mouse_used)
     else
        cmdline_row = save_cmdline_row;
     State = save_State;
+#ifdef FEAT_MOUSE
+    /* May need to restore mouse shape. */
+    setmouse();
+#endif
 
     return i;
 }

diff --git a/src/version.c b/src/version.c
index 5b4156806a1c751f1e1514a5e69b61e697201682..0960c91a0f1f0e297903e571031d4a1b3bf56fca 100644 (file)
--- a/src/version.c
+++ b/src/version.c
@@ -761,6 +761,8 @@ static char *(features[]) =
 
 static int included_patches[] =
 {   /* Add new patch number below this line */
+/**/
+    1756,
 /**/
     1755,
 /**/