fix(colors): helpSpecial showing wrong
This commit is contained in:
parent
d1b8699983
commit
b029086122
|
@ -707,12 +707,11 @@ local highlight_groups = {
|
|||
coqVernacPunctuation = 'coqTermPunctuation',
|
||||
|
||||
--[[ 4.3.37 Help ]]
|
||||
helpSpecial = 'Special',
|
||||
helpHeader = 'Label',
|
||||
helpHeader = 'Label',
|
||||
helpOption = 'Keyword',
|
||||
helpHeadline = 'Title',
|
||||
helpSectionDelim = 'Delimiter',
|
||||
helpHyperTextJump = 'Underlined',
|
||||
helpSpecial = 'Function',
|
||||
|
||||
--[[ 4.4. Plugins
|
||||
Everything in this section is OPTIONAL. Feel free to remove everything
|
||||
|
|
Loading…
Reference in New Issue