diff options
| author | bors[bot] <bors[bot]@users.noreply.github.com> | 2018-10-11 10:18:33 +0100 |
|---|---|---|
| committer | bors[bot] <bors[bot]@users.noreply.github.com> | 2018-10-11 10:18:33 +0100 |
| commit | 9b155c89764b8413df6b32edfde94fce1d9c15ec (patch) | |
| tree | c044687f5ef2cd992bcf0e6611ce6a750cbb437a /editors/code | |
| parent | 7e55aaeeed318a13b429d4b23c68569033bae0a3 (diff) | |
| parent | edd162bda8be065d3e0fc0a70052ce32eeb82553 (diff) | |
Merge #118
118: Remove error publishing through publishDecorations r=matklad a=aochagavia
The errors are already reported by `publishDiagnostics`
Closes #109
Co-authored-by: Adolfo Ochagavía <[email protected]>
Diffstat (limited to 'editors/code')
| -rw-r--r-- | editors/code/src/highlighting.ts | 7 |
1 files changed, 0 insertions, 7 deletions
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 { | |||
| 20 | [string, vscode.TextEditorDecorationType] | 20 | [string, vscode.TextEditorDecorationType] |
| 21 | > = [ | 21 | > = [ |
| 22 | ['background', decor('#3F3F3F')], | 22 | ['background', decor('#3F3F3F')], |
| 23 | [ | ||
| 24 | 'error', | ||
| 25 | vscode.window.createTextEditorDecorationType({ | ||
| 26 | borderColor: 'red', | ||
| 27 | borderStyle: 'none none dashed none' | ||
| 28 | }) | ||
| 29 | ], | ||
| 30 | ['comment', decor('#7F9F7F')], | 23 | ['comment', decor('#7F9F7F')], |
| 31 | ['string', decor('#CC9393')], | 24 | ['string', decor('#CC9393')], |
| 32 | ['keyword', decor('#F0DFAF')], | 25 | ['keyword', decor('#F0DFAF')], |