ref(colors): link coq punctuation

Before, punctuation groups were separately linked to `Delimiter`. Now,
they are linked to each other so that if one changes away form
`Delimiter` in the future, the other will follow.
This commit is contained in:
Iron-E 2020-12-05 14:53:55 -05:00
parent a4e48a6f9b
commit 0d9322aac7
No known key found for this signature in database
GPG Key ID: 19B71B7B7B021D22
1 changed files with 1 additions and 1 deletions

View File

@ -684,7 +684,7 @@ local highlight_groups = {
coqRequire = 'Include',
coqTermPunctuation = 'Delimiter',
coqVernacCmd = 'Statement',
coqVernacPunctuation = 'Delimiter',
coqVernacPunctuation = 'coqTermPunctuation',
--[[ 4.4. Plugins
Everything in this section is OPTIONAL. Feel free to remove everything