incorporate debug API feedback

This commit is contained in:
Andre Weinand
2017-07-11 00:48:48 +02:00
parent 7017d1bf0a
commit 618fcaad9f
5 changed files with 49 additions and 20 deletions

View File

@@ -503,7 +503,7 @@ export abstract class ExtHostTaskShape {
export abstract class ExtHostDebugServiceShape {
$acceptDebugSessionTerminated(id: DebugSessionUUID, type: string, name: string): void { throw ni(); }
$acceptDebugSessionActiveChanged(id: DebugSessionUUID | undefined, type?: string, name?: string): void { throw ni(); }
$acceptDebugSessionCustomEvent(id: DebugSessionUUID, event: any): void { throw ni(); }
$acceptDebugSessionCustomEvent(id: DebugSessionUUID, type: string, name: string, event: any): void { throw ni(); }
}
// --- proxy identifiers