Don't relaunch extension owned terminals (#117987)

Co-authored-by: Daniel Imms <daimms@microsoft.com>
This commit is contained in:
Megan Rogge
2021-03-02 16:55:38 -05:00
committed by GitHub
parent 6c6caf678f
commit cf3faa4046
6 changed files with 15 additions and 5 deletions

View File

@@ -120,12 +120,13 @@ export class ExtHostTerminal {
waitOnExit?: boolean,
strictEnv?: boolean,
hideFromUser?: boolean,
isFeatureTerminal?: boolean
isFeatureTerminal?: boolean,
isExtensionOwnedTerminal?: boolean
): Promise<void> {
if (typeof this._id !== 'string') {
throw new Error('Terminal has already been created');
}
await this._proxy.$createTerminal(this._id, { name: this._name, shellPath, shellArgs, cwd, env, waitOnExit, strictEnv, hideFromUser, isFeatureTerminal });
await this._proxy.$createTerminal(this._id, { name: this._name, shellPath, shellArgs, cwd, env, waitOnExit, strictEnv, hideFromUser, isFeatureTerminal, isExtensionOwnedTerminal });
}
public async createExtensionTerminal(): Promise<number> {