mirror of
https://github.com/neovim/neovim
synced 2025-07-16 09:11:51 +00:00
feat(ui-ext): make 'mousehide' into proper ui_option (#25532)
This commit is contained in:
@ -211,6 +211,7 @@ the editor.
|
|||||||
- 'guifontwide'
|
- 'guifontwide'
|
||||||
- 'linespace'
|
- 'linespace'
|
||||||
- 'mousefocus'
|
- 'mousefocus'
|
||||||
|
- 'mousehide'
|
||||||
- 'mousemoveevent'
|
- 'mousemoveevent'
|
||||||
- 'pumblend'
|
- 'pumblend'
|
||||||
- 'showtabline'
|
- 'showtabline'
|
||||||
|
@ -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);
|
||||||
|
@ -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',
|
||||||
|
@ -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()
|
||||||
|
Reference in New Issue
Block a user