From e5f958b92161732ae46ccc66ce3d6eea213cf925 Mon Sep 17 00:00:00 2001 From: Laurenz Date: Mon, 19 Sep 2022 11:05:25 +0200 Subject: Handle line comments nested in block comments Fixes #76 --- tools/support/typst.tmLanguage.json | 23 ++++++++++++----------- 1 file changed, 12 insertions(+), 11 deletions(-) (limited to 'tools') diff --git a/tools/support/typst.tmLanguage.json b/tools/support/typst.tmLanguage.json index 36ffade7..f493cc5b 100644 --- a/tools/support/typst.tmLanguage.json +++ b/tools/support/typst.tmLanguage.json @@ -4,20 +4,27 @@ { "include": "#markup" } ], "repository": { - "blockcomment": { + "comments": { "patterns": [ { "name": "comment.block.typst", "begin": "/\\*", "end": "\\*/", "captures": { "0": { "name": "punctuation.definition.comment.typst" } }, - "patterns": [{ "include": "#blockcomment" }] + "patterns": [{ "include": "#comments" }] + }, + { + "name": "comment.line.double-slash.typst", + "begin": "(?