diff options
Diffstat (limited to 'editors/code/src/util.ts')
-rw-r--r-- | editors/code/src/util.ts | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/editors/code/src/util.ts b/editors/code/src/util.ts index 78fe6f5da..6b07d448b 100644 --- a/editors/code/src/util.ts +++ b/editors/code/src/util.ts | |||
@@ -18,6 +18,10 @@ export const log = new class { | |||
18 | private enabled = true; | 18 | private enabled = true; |
19 | private readonly output = vscode.window.createOutputChannel("Rust Analyzer Client"); | 19 | private readonly output = vscode.window.createOutputChannel("Rust Analyzer Client"); |
20 | 20 | ||
21 | dispose() { | ||
22 | log.output.dispose(); | ||
23 | } | ||
24 | |||
21 | setEnabled(yes: boolean): void { | 25 | setEnabled(yes: boolean): void { |
22 | log.enabled = yes; | 26 | log.enabled = yes; |
23 | } | 27 | } |