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 135293d..531c5e4 100644
--- a/src/misc1.c
+++ b/src/misc1.c
@@ -3594,6 +3594,11 @@
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 @@
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 5b41568..0960c91 100644
--- a/src/version.c
+++ b/src/version.c
@@ -762,6 +762,8 @@
static int included_patches[] =
{ /* Add new patch number below this line */
/**/
+ 1756,
+/**/
1755,
/**/
1754,