Add rename/create/delete file to workspaced edit

Fixes #10659

Allows workspace edits to also change files in the workspace
This commit is contained in:
Matt Bierner
2018-01-10 14:26:43 -08:00
parent 05b667d5a2
commit e932b8ad9c
13 changed files with 304 additions and 23 deletions

View File

@@ -121,7 +121,7 @@ export class ExtHostEditors implements ExtHostEditorsShape {
workspaceResourceEdits.push(workspaceResourceEdit);
}
return this._proxy.$tryApplyWorkspaceEdit(workspaceResourceEdits);
return this._proxy.$tryApplyWorkspaceEdit(workspaceResourceEdits, edit);
}
// --- called from main thread