src/Tools/VSCode/extension/src/decorations.ts

--- a/src/Tools/VSCode/extension/src/decorations.ts	Tue Nov 20 13:46:13 2018 +0100
+++ b/src/Tools/VSCode/extension/src/decorations.ts	Wed Nov 21 14:33:30 2018 +0100
@@ -53,6 +53,9 @@
   "inner_quoted",
   "inner_cartouche",
   "inner_comment",
+  "comment1",
+  "comment2",
+  "comment3",
   "dynamic",
   "class_parameter",
   "antiquote"