From 0e16b283cd52cc7b5a14a2c64af677a667aefdc3 Mon Sep 17 00:00:00 2001
From: Novus Nota <68142933+novusnota@users.noreply.github.com>
Date: Fri, 7 Feb 2025 00:02:22 +0100
Subject: [PATCH] chore: auto-insertion of `///` and concealment of `/**/`
comments
---
language-configuration.json | 12 ++++++++++--
1 file changed, 10 insertions(+), 2 deletions(-)
diff --git a/language-configuration.json b/language-configuration.json
index 5934c1e9..e0c6ae12 100644
--- a/language-configuration.json
+++ b/language-configuration.json
@@ -1,7 +1,6 @@
{
"comments": {
- "lineComment": "//",
- "blockComment": ["/*", "*/"]
+ "lineComment": "//"
},
"wordPattern": "(`[^`]+`)|([a-zA-Z$_][a-zA-Z0-9$_]*)",
// symbols used as brackets
@@ -23,5 +22,14 @@
["[", "]"],
["(", ")"],
["\"", "\""]
+ ],
+ "onEnterRules": [
+ {
+ "beforeText": "^\\s*///.*$",
+ "action": {
+ "indent": "none",
+ "appendText": "/// "
+ }
+ }
]
}