diff options
Diffstat (limited to 'editors/code/src')
-rw-r--r-- | editors/code/src/commands/syntax_tree.ts | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/editors/code/src/commands/syntax_tree.ts b/editors/code/src/commands/syntax_tree.ts index 01ab4de74..8d71cb39e 100644 --- a/editors/code/src/commands/syntax_tree.ts +++ b/editors/code/src/commands/syntax_tree.ts | |||
@@ -84,8 +84,10 @@ class TextDocumentContentProvider implements vscode.TextDocumentContentProvider | |||
84 | // https://code.visualstudio.com/api/extension-guides/tree-view | 84 | // https://code.visualstudio.com/api/extension-guides/tree-view |
85 | class AstInspector implements vscode.HoverProvider, Disposable { | 85 | class AstInspector implements vscode.HoverProvider, Disposable { |
86 | private static readonly astDecorationType = vscode.window.createTextEditorDecorationType({ | 86 | private static readonly astDecorationType = vscode.window.createTextEditorDecorationType({ |
87 | fontStyle: "normal", | 87 | borderColor: new vscode.ThemeColor('rust_analyzer.syntaxTreeBorder'), |
88 | border: "#ffffff 1px solid", | 88 | borderStyle: "solid", |
89 | borderWidth: "2px", | ||
90 | |||
89 | }); | 91 | }); |
90 | private rustEditor: undefined | RustEditor; | 92 | private rustEditor: undefined | RustEditor; |
91 | 93 | ||