undo workspace edit changes for now, #10659

This commit is contained in:
Johannes Rieken
2018-02-01 15:30:23 +01:00
parent cfea97191c
commit 0edcdab82e
6 changed files with 96 additions and 135 deletions

View File

@@ -94,7 +94,7 @@ export class ExtHostEditors implements ExtHostEditorsShape {
const dto: WorkspaceEditDto = { edits: [] };
for (let entry of edit.allEntries()) {
for (let entry of edit.entries()) {
let [uri, uriOrEdits] = entry;
if (Array.isArray(uriOrEdits)) {
let doc = this._extHostDocumentsAndEditors.getDocument(uri.toString());
@@ -103,8 +103,8 @@ export class ExtHostEditors implements ExtHostEditorsShape {
modelVersionId: doc && doc.version,
edits: uriOrEdits.map(TypeConverters.TextEdit.from)
});
} else {
dto.edits.push({ oldUri: uri, newUri: uriOrEdits });
// } else {
// dto.edits.push({ oldUri: uri, newUri: uriOrEdits });
}
}