emit editor close event.

This commit is contained in:
rebornix
2020-05-19 13:55:15 -07:00
parent 0dea13a46a
commit 345f02dad4

View File

@@ -1099,6 +1099,7 @@ export class ExtHostNotebookController implements ExtHostNotebookShape, ExtHostN
e.editor.dispose();
e.onDidReceiveMessage.dispose();
this._editors.delete(e.editor.id);
editorChanged = true;
}
});
});