add highlighted todo (#92)

This commit is contained in:
Dima 2024-03-05 20:45:28 +03:00 committed by GitHub
parent a54e0ed202
commit 6e05ea7b25
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -16,6 +16,9 @@
}, },
{ {
"include": "#semantics" "include": "#semantics"
},
{
"include": "#todo-keyword"
} }
], ],
"repository": { "repository": {
@ -97,7 +100,13 @@
"comments": { "comments": {
"name": "comment.line.aqua", "name": "comment.line.aqua",
"begin": "--", "begin": "--",
"end": "$" "end": "$",
"patterns": [{ "include": "#todo-keyword" }]
},
"todo-keyword": {
"begin": "TODO:",
"end": "$",
"name": "keyword.todo"
}, },
"semantics": { "semantics": {
"patterns": [ "patterns": [