Add delimiter node (#147)

Signed-off-by: Jonas Dujava <jonas.dujava@gmail.com>
pull/813/head
Jonáš Dujava 2024-07-20 21:37:17 +07:00 committed by GitHub
parent 107435ada4
commit d018f2e662
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
4 changed files with 23 additions and 4 deletions

@ -375,6 +375,7 @@ module.exports = grammar({
$.operator,
$.word,
$.placeholder,
$.delimiter,
$.block_comment,
$._command,
$.superscript,
@ -384,10 +385,12 @@ module.exports = grammar({
),
),
word: $ => /[^\s\\%\{\},\$\[\]\(\)=\#_\^\-\+\/\*]+/,
word: $ => /[^\s\\%\{\},\$\[\]\(\)=\#&_\^\-\+\/\*]+/,
placeholder: $ => /#\d/,
delimiter: $ => /&/,
path: $ => /[^\*\"\[\]:;,\|\{\}<>]+/,
uri: $ => /[^\[\]\{\}]+/,

@ -1641,6 +1641,10 @@
"type": "SYMBOL",
"name": "placeholder"
},
{
"type": "SYMBOL",
"name": "delimiter"
},
{
"type": "SYMBOL",
"name": "block_comment"
@ -1664,12 +1668,16 @@
},
"word": {
"type": "PATTERN",
"value": "[^\\s\\\\%\\{\\},\\$\\[\\]\\(\\)=\\#_\\^\\-\\+\\/\\*]+"
"value": "[^\\s\\\\%\\{\\},\\$\\[\\]\\(\\)=\\#&_\\^\\-\\+\\/\\*]+"
},
"placeholder": {
"type": "PATTERN",
"value": "#\\d"
},
"delimiter": {
"type": "PATTERN",
"value": "&"
},
"path": {
"type": "PATTERN",
"value": "[^\\*\\\"\\[\\]:;,\\|\\{\\}<>]+"

@ -7513,6 +7513,10 @@
"type": "color_set_definition",
"named": true
},
{
"type": "delimiter",
"named": true
},
{
"type": "environment_definition",
"named": true
@ -9262,6 +9266,10 @@
"type": "comment",
"named": true
},
{
"type": "delimiter",
"named": true
},
{
"type": "letter",
"named": true

@ -477,7 +477,7 @@ Let
(word))))
(text
(word)
(word))
(delimiter))
(text
(word)
(superscript
@ -493,7 +493,7 @@ Let
(word))))
(text
(word)
(word))
(delimiter))
(text
(word)
(superscript