Remove some types ¯\_(ツ)_/¯

Jonas Schievink · Jonas Schievink · commit 5b1187a04654 · 2023-01-31T15:49:39.000+01:00
diff --git 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 {

Original file line number	Diff line number	Diff line change
`@@ -198,7 +198,7 @@ export class LazyOutputChannel implements vscode.OutputChannel {`
`198`	`198`	`}`
`199`	`199`	`show(preserveFocus?: boolean): void;`
`200`	`200`	`show(column?: vscode.ViewColumn, preserveFocus?: boolean): void;`
`201`		`- show(column?: vscode.ViewColumn, preserveFocus?: boolean): void {`
	`201`	`+ show(column?: any, preserveFocus?: any): void {`
`202`	`202`	`this.channel.show(column, preserveFocus);`
`203`	`203`	`}`
`204`	`204`	`hide(): void {`