mirror of
https://github.com/neovim/neovim.git
synced 2025-10-12 12:56:04 +00:00

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.