From 26d34cc4439174af45d493a14c41631121fa2ccd Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Adolfo=20Ochagav=C3=ADa?= Date: Wed, 10 Oct 2018 16:49:32 +0200 Subject: Remove error publishing through publishDecorations --- editors/code/src/highlighting.ts | 7 ------- 1 file changed, 7 deletions(-) (limited to 'editors') diff --git a/editors/code/src/highlighting.ts b/editors/code/src/highlighting.ts index ceddffe0e..d440e77c7 100644 --- 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')], -- cgit v1.2.3