When resetting 'mousehide' show the mouse pointer right away.

diff --git a/src/option.c b/src/option.c
index 63c0f2efb50ea905b2b92a277353241dd669ba30..f16c4ba44f2a58bb4256d45544ac75b9b259845c 100644 (file)
--- a/src/option.c
+++ b/src/option.c
@@ -7488,6 +7488,14 @@ set_bool_option(opt_idx, varp, value, opt_flags)
 #endif
     }
 
+#ifdef FEAT_GUI
+    else if ((int *)varp == &p_mh)
+    {
+       if (!p_mh)
+           gui_mch_mousehide(FALSE);
+    }
+#endif
+
 #if defined(FEAT_TITLE) || defined(FEAT_CONCEAL)
     /* when 'modifiable' is changed, redraw the window title and
      * update current line for concealable items */