--- a/src/Tools/VSCode/extension/src/decorations.ts Tue Nov 27 23:30:18 2018 +0100
+++ b/src/Tools/VSCode/extension/src/decorations.ts Tue Nov 27 23:41:37 2018 +0100
@@ -52,7 +52,6 @@
"inner_numeral",
"inner_quoted",
"inner_cartouche",
- "inner_comment",
"comment1",
"comment2",
"comment3",