Re: Patch 9.0.1397

2023-03-15 Fir de Conversatie John Marriott
On 16-Mar-2023 04:09, Bram Moolenaar wrote: John Marriott wrote: On 11-Mar-2023 03:36, Bram Moolenaar wrote: Patch 9.0.1397 Problem:Highlight for popupmenu kind and extra cannot be set. Solution: Add PmenuKind, PmenuKindSel, PmenuExtra and PmenuExtraSel highlight groups

Re: Patch 9.0.1397

2023-03-15 Fir de Conversatie Bram Moolenaar
John Marriott wrote: > On 11-Mar-2023 03:36, Bram Moolenaar wrote: > > Patch 9.0.1397 > > Problem:Highlight for popupmenu kind and extra cannot be set. > > Solution: Add PmenuKind, PmenuKindSel, PmenuExtra and PmenuExtraSel > > highlight groups an

Re: Patch 9.0.1397

2023-03-14 Fir de Conversatie John Marriott
On 11-Mar-2023 03:36, Bram Moolenaar wrote: Patch 9.0.1397 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) Files: runtime/doc

Patch 9.0.1397

2023-03-10 Fir de Conversatie Bram Moolenaar
Patch 9.0.1397 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) Files: runtime/doc/syntax.txt, runtime/doc/options.txt, src