Use URI for IDocumentsAndEditorsDelta.removedDocuments

This commit is contained in:
Alex Dima
2018-02-07 16:19:48 +01:00
parent 535fc34ba4
commit 5b1d34e435
5 changed files with 16 additions and 13 deletions

View File

@@ -41,7 +41,9 @@ export class ExtHostDocumentsAndEditors implements ExtHostDocumentsAndEditorsSha
const removedEditors: ExtHostTextEditor[] = [];
if (delta.removedDocuments) {
for (const id of delta.removedDocuments) {
for (const uriComponent of delta.removedDocuments) {
const uri = URI.revive(uriComponent);
const id = uri.toString();
const data = this._documents.get(id);
this._documents.delete(id);
removedDocuments.push(data);