Polish select default profile quick pick

Fixes #119808
This commit is contained in:
Daniel Imms
2021-03-24 11:49:05 -07:00
parent 8aac8643d7
commit f1334e055c
4 changed files with 53 additions and 30 deletions

View File

@@ -1657,6 +1657,7 @@ export interface ExtHostTerminalServiceShape {
$acceptProcessRequestCwd(id: number): void;
$acceptProcessRequestLatency(id: number): number;
$acceptWorkspacePermissionsChanged(isAllowed: boolean): void;
// TODO: Change quickLaunchOnly to "includeAutoDetected" or something similar
$getAvailableProfiles(quickLaunchOnly: boolean): Promise<ITerminalProfile[]>;
$getDefaultShellAndArgs(useAutomationShell: boolean): Promise<IShellAndArgsDto>;
$provideLinks(id: number, line: string): Promise<ITerminalLinkDto[]>;