diff options
author | Adolfo OchagavĂa <[email protected]> | 2018-10-10 15:49:32 +0100 |
---|---|---|
committer | Adolfo OchagavĂa <[email protected]> | 2018-10-10 15:49:32 +0100 |
commit | 26d34cc4439174af45d493a14c41631121fa2ccd (patch) | |
tree | dbdf0045a5d77389db993fc31e8785aa8cd97b66 | |
parent | 3c41087bf83a4ffda87a7bee16d8eb31562bac23 (diff) |
Remove error publishing through publishDecorations
-rw-r--r-- | crates/ra_editor/src/lib.rs | 1 | ||||
-rw-r--r-- | editors/code/src/highlighting.ts | 7 |
2 files changed, 0 insertions, 8 deletions
diff --git a/crates/ra_editor/src/lib.rs b/crates/ra_editor/src/lib.rs index fe0045378..15aaac172 100644 --- a/crates/ra_editor/src/lib.rs +++ b/crates/ra_editor/src/lib.rs | |||
@@ -88,7 +88,6 @@ pub fn highlight(file: &File) -> Vec<HighlightedRange> { | |||
88 | let mut res = Vec::new(); | 88 | let mut res = Vec::new(); |
89 | for node in file.syntax().descendants() { | 89 | for node in file.syntax().descendants() { |
90 | let tag = match node.kind() { | 90 | let tag = match node.kind() { |
91 | ERROR => "error", | ||
92 | COMMENT | DOC_COMMENT => "comment", | 91 | COMMENT | DOC_COMMENT => "comment", |
93 | STRING | RAW_STRING | RAW_BYTE_STRING | BYTE_STRING => "string", | 92 | STRING | RAW_STRING | RAW_BYTE_STRING | BYTE_STRING => "string", |
94 | ATTR => "attribute", | 93 | ATTR => "attribute", |
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')], |