diff --git a/src/option.c b/src/option.c index 63c0f2efb50ea905b2b92a277353241dd669ba30..f16c4ba44f2a58bb4256d45544ac75b9b259845c 100644 --- 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 */