feat(ui-ext): make 'mousehide' into proper ui_option (#25532)

This commit is contained in:
Jaehoon Hwang
2023-10-09 01:48:24 -07:00
committed by GitHub
parent f96f8566b5
commit dacd34364f
4 changed files with 11 additions and 0 deletions

View File

@ -211,6 +211,7 @@ the editor.
- 'guifontwide' - 'guifontwide'
- 'linespace' - 'linespace'
- 'mousefocus' - 'mousefocus'
- 'mousehide'
- 'mousemoveevent' - 'mousemoveevent'
- 'pumblend' - 'pumblend'
- 'showtabline' - 'showtabline'

View File

@ -571,6 +571,7 @@ EXTERN char *p_mouse; ///< 'mouse'
EXTERN char *p_mousem; ///< 'mousemodel' EXTERN char *p_mousem; ///< 'mousemodel'
EXTERN int p_mousemev; ///< 'mousemoveevent' EXTERN int p_mousemev; ///< 'mousemoveevent'
EXTERN int p_mousef; ///< 'mousefocus' EXTERN int p_mousef; ///< 'mousefocus'
EXTERN int p_mh; ///< 'mousehide'
EXTERN char *p_mousescroll; ///< 'mousescroll' EXTERN char *p_mousescroll; ///< 'mousescroll'
EXTERN OptInt p_mousescroll_vert INIT(= MOUSESCROLL_VERT_DFLT); EXTERN OptInt p_mousescroll_vert INIT(= MOUSESCROLL_VERT_DFLT);
EXTERN OptInt p_mousescroll_hor INIT(= MOUSESCROLL_HOR_DFLT); EXTERN OptInt p_mousescroll_hor INIT(= MOUSESCROLL_HOR_DFLT);

View File

@ -5452,9 +5452,11 @@ return {
]=], ]=],
enable_if = false, enable_if = false,
full_name = 'mousehide', full_name = 'mousehide',
redraw = { 'ui_option' },
scope = { 'global' }, scope = { 'global' },
short_desc = N_('hide mouse pointer while typing'), short_desc = N_('hide mouse pointer while typing'),
type = 'bool', type = 'bool',
varname = 'p_mh',
}, },
{ {
abbreviation = 'mousem', abbreviation = 'mousem',

View File

@ -19,6 +19,7 @@ describe('UI receives option updates', function()
linespace=0, linespace=0,
pumblend=0, pumblend=0,
mousefocus=false, mousefocus=false,
mousehide=true,
mousemoveevent=false, mousemoveevent=false,
showtabline=1, showtabline=1,
termguicolors=false, termguicolors=false,
@ -133,6 +134,12 @@ describe('UI receives option updates', function()
eq(expected, screen.options) eq(expected, screen.options)
end) end)
command("set nomousehide")
expected.mousehide = false
screen:expect(function()
eq(expected, screen.options)
end)
command("set mousemoveevent") command("set mousemoveevent")
expected.mousemoveevent = true expected.mousemoveevent = true
screen:expect(function() screen:expect(function()