progress - make window progress get a title

This commit is contained in:
Johannes Rieken
2017-01-19 12:05:29 +01:00
parent f5de152513
commit 23c4c8d1b8
7 changed files with 44 additions and 31 deletions

View File

@@ -186,7 +186,9 @@ export abstract class MainThreadOutputServiceShape {
}
export abstract class MainThreadProgressShape {
$progressStart(handle: number, extensionId: string, location: string): void { throw ni(); }
$startWindow(handle: number, title: string): void { throw ni(); };
$startScm(handle: number): void { throw ni(); };
$progressReport(handle: number, message: string): void { throw ni(); }
$progressEnd(handle: number): void { throw ni(); }
}