diff options
| author | Laurenz <laurmaedje@gmail.com> | 2021-07-08 19:37:38 +0200 |
|---|---|---|
| committer | Laurenz <laurmaedje@gmail.com> | 2021-07-08 19:37:38 +0200 |
| commit | f85e5aac64784deac75950a1307f2ca802ad6765 (patch) | |
| tree | 95d1082a4efd3451cfe669f3a687d0aa8b0a4d0d /tools | |
| parent | 5a500fb8a7c0ba4b8a59e2622c8cbafdc4ce1fe9 (diff) | |
URL special case for line comments
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/support/typst.tmLanguage.json | 18 |
1 files changed, 12 insertions, 6 deletions
diff --git a/tools/support/typst.tmLanguage.json b/tools/support/typst.tmLanguage.json index aaad9ba8..e1f41653 100644 --- a/tools/support/typst.tmLanguage.json +++ b/tools/support/typst.tmLanguage.json @@ -7,12 +7,6 @@ "common": { "patterns": [ { - "name": "comment.line.double-slash.typst", - "begin": "//", - "end": "\n", - "beginCaptures": { "0": { "name": "punctuation.definition.comment.typst" } } - }, - { "name": "comment.block.typst", "begin": "/\\*", "end": "\\*/", @@ -39,6 +33,12 @@ "patterns": [ { "include": "#common" }, { + "name": "comment.line.double-slash.typst", + "begin": "(?<!:)//", + "end": "\n", + "beginCaptures": { "0": { "name": "punctuation.definition.comment.typst" } } + }, + { "name": "constant.character.escape.content.typst", "match": "\\\\([\\\\/\\[\\]{}#*_=~`$-.]|u\\{[0-9a-zA-Z]*\\}?)" }, @@ -192,6 +192,12 @@ "patterns": [ { "include": "#common" }, { + "name": "comment.line.double-slash.typst", + "begin": "//", + "end": "\n", + "beginCaptures": { "0": { "name": "punctuation.definition.comment.typst" } } + }, + { "name": "punctuation.separator.colon.typst", "match": ":" }, |