diff options
| author | Veetaha <veetaha2@gmail.com> | 2020-07-05 21:05:38 +0300 |
|---|---|---|
| committer | Veetaha <veetaha2@gmail.com> | 2020-07-05 21:05:38 +0300 |
| commit | 13872543e074adc153b440660beda441fd562f53 (patch) | |
| tree | b3ce8f8c7c2b00ed13230cce1f0cf1bd2297a13d /editors/code/src/util.ts | |
| parent | 3602f07bbee5b13dcd799cbc79381e9428808048 (diff) | |
| download | rust-13872543e074adc153b440660beda441fd562f53.tar.gz rust-13872543e074adc153b440660beda441fd562f53.zip | |
Dispose logger on extension deactivation
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 78fe6f5dab9..6b07d448b8e 100644 --- a/editors/code/src/util.ts +++ b/editors/code/src/util.ts @@ -18,6 +18,10 @@ export const log = new class { private enabled = true; private readonly output = vscode.window.createOutputChannel("Rust Analyzer Client"); + dispose() { + log.output.dispose(); + } + setEnabled(yes: boolean): void { log.enabled = yes; } |