Fixes gitpod-io/gitpod#9473

jeanp413 · jeanp413 · commit 5a25e53b31eb · 2022-12-20T23:04:28.000Z
diff --git a/extensions/gitpod-shared/src/features.ts b/extensions/gitpod-shared/src/features.ts
@@ -870,10 +870,11 @@ export async function registerTasks(context: GitpodExtensionContext): Promise<vo
 				iconPath: new vscode.ThemeIcon('terminal'),
 				location: parentTerminal ? { parentTerminal } : vscode.TerminalLocation.Panel
 			});
-			terminal.show();
 			prevTerminal = terminal;
 		}
 	}
+	// Focus last created terminal
+	prevTerminal?.show();
 }
 
 function createTaskPty(alias: string, context: GitpodExtensionContext, contextToken: vscode.CancellationToken): vscode.Pseudoterminal {

Original file line number	Diff line number	Diff line change
`@@ -870,10 +870,11 @@ export async function registerTasks(context: GitpodExtensionContext): Promise<vo`
`870`	`870`	`iconPath: new vscode.ThemeIcon('terminal'),`
`871`	`871`	`location: parentTerminal ? { parentTerminal } : vscode.TerminalLocation.Panel`
`872`	`872`	`});`
`873`		`- terminal.show();`
`874`	`873`	`prevTerminal = terminal;`
`875`	`874`	`}`
`876`	`875`	`}`
	`876`	`+ // Focus last created terminal`
	`877`	`+ prevTerminal?.show();`
`877`	`878`	`}`
`878`	`879`
`879`	`880`	`function createTaskPty(alias: string, context: GitpodExtensionContext, contextToken: vscode.CancellationToken): vscode.Pseudoterminal {`