Unnamed repository; edit this file 'description' to name the repository.
Lazily create the trace output channel
Jonas Schievink 2023-01-31
parent d805c74 · commit 56f81eb
-rw-r--r--editors/code/src/ctx.ts6
-rw-r--r--editors/code/src/util.ts46
2 files changed, 48 insertions, 4 deletions
diff --git a/editors/code/src/ctx.ts b/editors/code/src/ctx.ts
index 8b04182155..e2a30e0cc4 100644
--- a/editors/code/src/ctx.ts
+++ b/editors/code/src/ctx.ts
@@ -4,7 +4,7 @@ import * as ra from "./lsp_ext";
import { Config, substituteVSCodeVariables } from "./config";
import { createClient } from "./client";
-import { isRustDocument, isRustEditor, log, RustEditor } from "./util";
+import { isRustDocument, isRustEditor, LazyOutputChannel, log, RustEditor } from "./util";
import { ServerStatusParams } from "./lsp_ext";
import { PersistentState } from "./persistent_state";
import { bootstrap } from "./bootstrap";
@@ -128,9 +128,7 @@ export class Ctx {
}
if (!this.traceOutputChannel) {
- this.traceOutputChannel = vscode.window.createOutputChannel(
- "Rust Analyzer Language Server Trace"
- );
+ this.traceOutputChannel = new LazyOutputChannel("Rust Analyzer Language Server Trace");
this.pushExtCleanup(this.traceOutputChannel);
}
if (!this.outputChannel) {
diff --git a/editors/code/src/util.ts b/editors/code/src/util.ts
index a92c90f7ff..33d42986ad 100644
--- a/editors/code/src/util.ts
+++ b/editors/code/src/util.ts
@@ -166,3 +166,49 @@ export function execute(command: string, options: ExecOptions): Promise<string>
});
});
}
+
+export class LazyOutputChannel implements vscode.OutputChannel {
+ constructor(name: string) {
+ this.name = name;
+ }
+
+ name: string;
+ _channel: vscode.OutputChannel | undefined;
+
+ get channel(): vscode.OutputChannel {
+ if (!this._channel) {
+ this._channel = vscode.window.createOutputChannel(this.name);
+ }
+ return this._channel;
+ }
+
+ append(value: string): void {
+ this.channel.append(value);
+ }
+ appendLine(value: string): void {
+ this.channel.appendLine(value);
+ }
+ replace(value: string): void {
+ this.channel.replace(value);
+ }
+ clear(): void {
+ if (this._channel) {
+ this._channel.clear();
+ }
+ }
+ show(preserveFocus?: boolean): void;
+ show(column?: vscode.ViewColumn, preserveFocus?: boolean): void;
+ show(column?: vscode.ViewColumn, preserveFocus?: boolean): void {
+ this.channel.show(column, preserveFocus);
+ }
+ hide(): void {
+ if (this._channel) {
+ this._channel.hide();
+ }
+ }
+ dispose(): void {
+ if (this._channel) {
+ this._channel.dispose();
+ }
+ }
+}