Remove error publishing through publishDecorations

2018-10-10 16:49:32 +02:00
parent 3c41087bf8
commit 26d34cc443
2 changed files with 0 additions and 8 deletions
--- a/editors/code/src/highlighting.ts
+++ b/editors/code/src/highlighting.ts
@@ -20,13 +20,6 @@ export class Highlighter {
            [string, vscode.TextEditorDecorationType]
        > = [
            ['background', decor('#3F3F3F')],
-            [
-                'error',
-                vscode.window.createTextEditorDecorationType({
-                    borderColor: 'red',
-                    borderStyle: 'none none dashed none'
-                })
-            ],
            ['comment', decor('#7F9F7F')],
            ['string', decor('#CC9393')],
            ['keyword', decor('#F0DFAF')],