don't show welcome view when web extension terminal is created (#136327)

This commit is contained in:
Megan Rogge
2021-11-03 19:00:46 -05:00
committed by GitHub
parent fd21ba3259
commit 2f1e5cb85f
6 changed files with 19 additions and 13 deletions

View File

@@ -672,10 +672,14 @@ export abstract class BaseExtHostTerminalService extends Disposable implements I
public async $createContributedProfileTerminal(id: string, options: ICreateContributedTerminalProfileOptions): Promise<void> {
const token = new CancellationTokenSource().token;
const profile = await this._profileProviders.get(id)?.provideTerminalProfile(token);
let profile = await this._profileProviders.get(id)?.provideTerminalProfile(token);
if (token.isCancellationRequested) {
return;
}
if (profile && !('options' in profile)) {
profile = { options: profile };
}
if (!profile || !('options' in profile)) {
throw new Error(`No terminal profile options provided for id "${id}"`);
}