Unnamed repository; edit this file 'description' to name the repository.
Remove some types ¯\_(ツ)_/¯
Jonas Schievink 2023-01-31
parent 56f81eb · commit 5b1187a
-rw-r--r--editors/code/src/util.ts2
1 files changed, 1 insertions, 1 deletions
diff --git a/editors/code/src/util.ts b/editors/code/src/util.ts
index 33d42986ad..d93b9caeb1 100644
--- a/editors/code/src/util.ts
+++ b/editors/code/src/util.ts
@@ -198,7 +198,7 @@ export class LazyOutputChannel implements vscode.OutputChannel {
}
show(preserveFocus?: boolean): void;
show(column?: vscode.ViewColumn, preserveFocus?: boolean): void;
- show(column?: vscode.ViewColumn, preserveFocus?: boolean): void {
+ show(column?: any, preserveFocus?: any): void {
this.channel.show(column, preserveFocus);
}
hide(): void {