show extension name with id, show title also on severity-label, #21302

This commit is contained in:
Johannes Rieken
2017-08-21 15:23:46 +02:00
parent 1caf0fa481
commit c98952880c
5 changed files with 16 additions and 13 deletions

View File

@@ -227,7 +227,7 @@ export interface MainThreadLanguagesShape extends IDisposable {
}
export interface MainThreadMessageOptions {
extensionId?: string;
extension?: IExtensionDescription;
modal?: boolean;
}