Expose Terminal.hideFromUser on all ext hosts

Fixes #103288
This commit is contained in:
Daniel Imms
2020-07-27 12:10:54 -07:00
parent 54334035c3
commit 4c145dbb40
3 changed files with 5 additions and 2 deletions

View File

@@ -455,7 +455,8 @@ export abstract class BaseExtHostTerminalService implements IExtHostTerminalServ
shellPath: shellLaunchConfigDto.executable,
shellArgs: shellLaunchConfigDto.args,
cwd: typeof shellLaunchConfigDto.cwd === 'string' ? shellLaunchConfigDto.cwd : URI.revive(shellLaunchConfigDto.cwd),
env: shellLaunchConfigDto.env
env: shellLaunchConfigDto.env,
hideFromUser: shellLaunchConfigDto.hideFromUser
};
const terminal = new ExtHostTerminal(this._proxy, creationOptions, name, id);
this._terminals.push(terminal);