Extend the set of tags highlighted in comments (#6143)

pull/6180/head
István Donkó 2 years ago committed by GitHub
parent ddc5bf4e60
commit 2d5577dbe6
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

@ -5,17 +5,33 @@
":" @punctuation.delimiter
; Hint level tags
((tag (name) @hint)
(#match? @hint "^(HINT|MARK)$"))
("text" @hint
(#match? @hint "^(HINT|MARK)$"))
; Info level tags
((tag (name) @info)
(#match? @info "^(INFO|NOTE|TODO)$"))
("text" @info
(#match? @info "^(INFO|NOTE|TODO)$"))
; Warning level tags
((tag (name) @warning)
(#match? @warning "^(TODO|HACK|WARNING)$"))
(#match? @warning "^(HACK|WARN|WARNING)$"))
("text" @warning
(#match? @warning "^(TODO|HACK|WARNING)$"))
(#match? @warning "^(HACK|WARN|WARNING)$"))
; Error level tags
((tag (name) @error)
(match? @error "^(FIXME|XXX|BUG)$"))
(match? @error "^(BUG|FIXME|ISSUE|XXX)$"))
("text" @error
(match? @error "^(FIXME|XXX|BUG)$"))
(match? @error "^(BUG|FIXME|ISSUE|XXX)$"))
(tag
(name) @ui.text

Loading…
Cancel
Save