Gianmaria Bajo 6a7c774920 patch 9.0.1397: highlight for popupmenu kind and extra cannot be set ...

Problem:    Highlight for popupmenu kind and extra cannot be set.
Solution:   Add PmenuKind, PmenuKindSel, PmenuExtra and PmenuExtraSel
            highlight groups and use them. (Gianmaria Bajo, closes #12114)

2023-03-10 16:35:53 +00:00

231 KiB

Raw Blame History

View Raw