diff options
| author | Erik Westrup <erik.westrup@gmail.com> | 2022-09-23 19:52:00 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-09-23 17:52:00 +0000 |
| commit | 26105050aae3a15dd85feaeb0439e253e31d5ceb (patch) | |
| tree | 93fed56274e02891986b42d5e860e48ece1d05df /queries | |
| parent | ebea89483d6c4a6e2d563c8b884a66d546676350 (diff) | |
feat(comment): highlight `NOTE` as `@text.note` (#3537)
Diffstat (limited to 'queries')
| -rw-r--r-- | queries/comment/highlights.scm | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/queries/comment/highlights.scm b/queries/comment/highlights.scm index 6c3e043c..a076deec 100644 --- a/queries/comment/highlights.scm +++ b/queries/comment/highlights.scm @@ -7,6 +7,12 @@ (tag (name) @text.note (user)? @constant) +((tag ((name) @text.note)) + (#any-of? @text.note "NOTE")) + +("text" @text.note + (#any-of? @text.note "NOTE")) + ((tag ((name) @text.warning)) (#any-of? @text.warning "TODO" "HACK" "WARNING")) |