From dacd34364ff3af98bc2d357c43e3ce06638e2ce9 Mon Sep 17 00:00:00 2001
From: Jaehoon Hwang <jaehoonhwang@users.noreply.github.com>
Date: Mon, 9 Oct 2023 01:48:24 -0700
Subject: feat(ui-ext): make 'mousehide' into proper ui_option (#25532)

---
 src/nvim/option_vars.h | 1 +
 src/nvim/options.lua   | 2 ++
 2 files changed, 3 insertions(+)

(limited to 'src')

diff --git a/src/nvim/option_vars.h b/src/nvim/option_vars.h
index 86e7f4cee8..a5263cd4a7 100644
--- a/src/nvim/option_vars.h
+++ b/src/nvim/option_vars.h
@@ -571,6 +571,7 @@ EXTERN char *p_mouse;           ///< 'mouse'
 EXTERN char *p_mousem;          ///< 'mousemodel'
 EXTERN int p_mousemev;          ///< 'mousemoveevent'
 EXTERN int p_mousef;            ///< 'mousefocus'
+EXTERN int p_mh;                ///< 'mousehide'
 EXTERN char *p_mousescroll;     ///< 'mousescroll'
 EXTERN OptInt p_mousescroll_vert INIT(= MOUSESCROLL_VERT_DFLT);
 EXTERN OptInt p_mousescroll_hor INIT(= MOUSESCROLL_HOR_DFLT);
diff --git a/src/nvim/options.lua b/src/nvim/options.lua
index e70fe8614f..5b0269907d 100644
--- a/src/nvim/options.lua
+++ b/src/nvim/options.lua
@@ -5452,9 +5452,11 @@ return {
       ]=],
       enable_if = false,
       full_name = 'mousehide',
+      redraw = { 'ui_option' },
       scope = { 'global' },
       short_desc = N_('hide mouse pointer while typing'),
       type = 'bool',
+      varname = 'p_mh',
     },
     {
       abbreviation = 'mousem',
-- 
cgit