feat(ui): 'pumborder' (popup menu border) #25541

Problem:
Popup menu cannot have a border.

Solution:
Support 'pumborder' option.
Generalize `win_redr_border` to `grid_redr_border`,
which redraws border for window grid and pum grid.
This commit is contained in:
glepnir
2025-10-10 22:14:50 +08:00
committed by GitHub
parent 9c89212de1
commit fafc329bbd
17 changed files with 649 additions and 133 deletions

View File

@@ -6719,6 +6719,21 @@ local options = {
type = 'number',
varname = 'p_pb',
},
{
full_name = 'pumborder',
scope = { 'global' },
cb = 'did_set_pumborder',
defaults = { if_true = '' },
values = { '', 'double', 'single', 'shadow', 'rounded', 'solid', 'bold', 'none' },
desc = [=[
Defines the default border style of popupmenu windows. Same as
'winborder'.
]=],
short_desc = N_('border of popupmenu'),
type = 'string',
list = 'onecomma',
varname = 'p_pumborder',
},
{
abbreviation = 'ph',
defaults = 0,