Skip to content

Commit 4c145db

Browse files
committed
Expose Terminal.hideFromUser on all ext hosts
Fixes microsoft#103288
1 parent 5433403 commit 4c145db

3 files changed

Lines changed: 5 additions & 2 deletions

File tree

src/vs/workbench/api/browser/mainThreadTerminalService.ts

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -219,7 +219,8 @@ export class MainThreadTerminalService implements MainThreadTerminalServiceShape
219219
executable: terminalInstance.shellLaunchConfig.executable,
220220
args: terminalInstance.shellLaunchConfig.args,
221221
cwd: terminalInstance.shellLaunchConfig.cwd,
222-
env: terminalInstance.shellLaunchConfig.env
222+
env: terminalInstance.shellLaunchConfig.env,
223+
hideFromUser: terminalInstance.shellLaunchConfig.hideFromUser
223224
};
224225
if (terminalInstance.title) {
225226
this._proxy.$acceptTerminalOpened(terminalInstance.id, terminalInstance.title, shellLaunchConfigDto);

src/vs/workbench/api/common/extHost.protocol.ts

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1383,6 +1383,7 @@ export interface IShellLaunchConfigDto {
13831383
args?: string[] | string;
13841384
cwd?: string | UriComponents;
13851385
env?: { [key: string]: string | null; };
1386+
hideFromUser?: boolean;
13861387
}
13871388

13881389
export interface IShellDefinitionDto {

src/vs/workbench/api/common/extHostTerminalService.ts

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -455,7 +455,8 @@ export abstract class BaseExtHostTerminalService implements IExtHostTerminalServ
455455
shellPath: shellLaunchConfigDto.executable,
456456
shellArgs: shellLaunchConfigDto.args,
457457
cwd: typeof shellLaunchConfigDto.cwd === 'string' ? shellLaunchConfigDto.cwd : URI.revive(shellLaunchConfigDto.cwd),
458-
env: shellLaunchConfigDto.env
458+
env: shellLaunchConfigDto.env,
459+
hideFromUser: shellLaunchConfigDto.hideFromUser
459460
};
460461
const terminal = new ExtHostTerminal(this._proxy, creationOptions, name, id);
461462
this._terminals.push(terminal);

0 commit comments

Comments
 (0)