mirror of
https://github.com/neovim/neovim.git
synced 2026-01-10 05:18:13 +10: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.