Add cancellation on CustomEditor.save

For #91702
This commit is contained in:
Matt Bierner
2020-03-04 15:46:15 -08:00
parent 415a40e542
commit 077cd38d26
4 changed files with 9 additions and 7 deletions

View File

@@ -618,7 +618,7 @@ export interface ExtHostWebviewsShape {
$undo(resource: UriComponents, viewType: string): void;
$redo(resource: UriComponents, viewType: string): void;
$revert(resource: UriComponents, viewType: string): void;
$onSave(resource: UriComponents, viewType: string): Promise<void>;
$onSave(resource: UriComponents, viewType: string, cancellation: CancellationToken): Promise<void>;
$onSaveAs(resource: UriComponents, viewType: string, targetResource: UriComponents): Promise<void>;
$backup(resource: UriComponents, viewType: string, cancellation: CancellationToken): Promise<void>;