Microsoft/vscode
1
0
Fork 0
mirror of https://github.com/microsoft/vscode.git synced 2026-04-24 10:38:59 +01:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #19717 from joaomoreno/modal-message-api

Browse Source 
Implement modal message API
This commit is contained in:
João Moreno
2017-02-03 11:19:55 +01:00
committed by GitHub
parent 5aa30a0df0 ee0316de2a
commit 7a9470db31
6 changed files with 228 additions and 28 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
src/vs/workbench/api/node/extHost.protocol.ts
View File

@@ -177,7 +177,7 @@ export abstract class MainThreadLanguagesShape {
}
export abstract class MainThreadMessageServiceShape {
$showMessage(severity: Severity, message: string, commands: { title: string; isCloseAffordance: boolean; handle: number; }[]): Thenable<number> { throw ni(); }
$showMessage(severity: Severity, message: string, options: vscode.MessageOptions, commands: { title: string; isCloseAffordance: boolean; handle: number; }[]): Thenable<number> { throw ni(); }
}
export abstract class MainThreadOutputServiceShape {