Streamline QuickInput API (#49340)

This commit is contained in:
Christof Marti
2018-06-14 18:51:14 +02:00
parent 78c0afb018
commit 47fc17712d
7 changed files with 148 additions and 104 deletions

View File

@@ -819,7 +819,9 @@ export interface ExtHostQuickOpenShape {
$onDidChangeActive(sessionId: number, handles: number[]): void;
$onDidChangeSelection(sessionId: number, handles: number[]): void;
$onDidAccept(sessionId: number): void;
$onDidChangeValue(sessionId: number, value: string): void;
$onDidTriggerButton(sessionId: number, handle: number): void;
$onDidHide(sessionId: number): void;
}
export interface ShellLaunchConfigDto {