Merge branch 'master' into ben/editor

This commit is contained in:
Benjamin Pasero
2018-05-22 07:21:24 +02:00
44 changed files with 997 additions and 318 deletions

View File

@@ -530,6 +530,7 @@ export interface ExtHostDocumentsShape {
$acceptModelSaved(strURL: UriComponents): void;
$acceptDirtyStateChanged(strURL: UriComponents, isDirty: boolean): void;
$acceptModelChanged(strURL: UriComponents, e: IModelChangedEvent, isDirty: boolean): void;
$onDidRename(oldURL: UriComponents, newURL: UriComponents): void;
}
export interface ExtHostDocumentSaveParticipantShape {