diff options
author | Bram Moolenaar <Bram@vim.org> | 2018-04-24 17:41:57 +0200 |
---|---|---|
committer | Bram Moolenaar <Bram@vim.org> | 2018-04-24 17:41:57 +0200 |
commit | 73658317bacd9a0264dfaa32288de6ea1f236fe5 (patch) | |
tree | 2786649ca7688022155b0601b5d64f12550c1be0 | |
parent | f1f2f837bc85c93ba81176383cccd6734f0129fb (diff) | |
download | vim-git-73658317bacd9a0264dfaa32288de6ea1f236fe5.tar.gz |
patch 8.0.1756: GUI: after prompting for a number the mouse shape is wrongv8.0.1756
Problem: GUI: after prompting for a number the mouse shape is sometimes
wrong.
Solution: Call setmouse() after setting "State". (Hirohito Higashi,
closes #2709)
-rw-r--r-- | src/misc1.c | 9 | ||||
-rw-r--r-- | src/version.c | 2 |
2 files changed, 11 insertions, 0 deletions
diff --git a/src/misc1.c b/src/misc1.c index 135293dd2..531c5e423 100644 --- 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 5b4156806..0960c91a0 100644 --- a/src/version.c +++ b/src/version.c @@ -762,6 +762,8 @@ static char *(features[]) = static int included_patches[] = { /* Add new patch number below this line */ /**/ + 1756, +/**/ 1755, /**/ 1754, |