diff options
Diffstat (limited to 'editors')
-rw-r--r-- | editors/code/package.json | 9 | ||||
-rw-r--r-- | editors/code/src/commands/syntax_tree.ts | 6 |
2 files changed, 13 insertions, 2 deletions
diff --git a/editors/code/package.json b/editors/code/package.json index 87999fe22..1d90e4298 100644 --- a/editors/code/package.json +++ b/editors/code/package.json | |||
@@ -465,6 +465,15 @@ | |||
465 | "light": "#747474", | 465 | "light": "#747474", |
466 | "highContrast": "#BEBEBE" | 466 | "highContrast": "#BEBEBE" |
467 | } | 467 | } |
468 | }, | ||
469 | { | ||
470 | "id": "rust_analyzer.syntaxTreeBorder", | ||
471 | "description": "Color of the border displayed in the Rust source code for the selected syntax node (see \"Show Syntax Tree\" command)", | ||
472 | "defaults": { | ||
473 | "dark": "#ffffff", | ||
474 | "light": "#b700ff", | ||
475 | "highContrast": "#b700ff" | ||
476 | } | ||
468 | } | 477 | } |
469 | ], | 478 | ], |
470 | "semanticTokenTypes": [ | 479 | "semanticTokenTypes": [ |
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 | ||