Strict null check extHostStatusBar

- Priority can be undefined. Update public api to match this
- We also use an undefined `extensionId`. Update typings for this
This commit is contained in:
Matt Bierner
2019-03-11 17:40:45 -07:00
parent a60981dcb1
commit c899a09a85
4 changed files with 8 additions and 7 deletions

View File

@@ -466,7 +466,7 @@ export interface MainThreadQuickOpenShape extends IDisposable {
}
export interface MainThreadStatusBarShape extends IDisposable {
$setEntry(id: number, extensionId: ExtensionIdentifier, text: string, tooltip: string, command: string, color: string | ThemeColor, alignment: MainThreadStatusBarAlignment, priority: number): void;
$setEntry(id: number, extensionId: ExtensionIdentifier | undefined, text: string, tooltip: string, command: string, color: string | ThemeColor, alignment: MainThreadStatusBarAlignment, priority: number | undefined): void;
$dispose(id: number): void;
}