document add/delete events

This commit is contained in:
rebornix
2020-05-05 18:50:00 -07:00
parent 3c710dfcc9
commit a9da51fd57

View File

@@ -931,6 +931,7 @@ export class ExtHostNotebookController implements ExtHostNotebookShape, ExtHostN
}
const onDidReceiveMessage = new Emitter<any>();
const document = this._documents.get(revivedUri.toString())!;
let editor = new ExtHostNotebookEditor(
viewType,
@@ -938,10 +939,12 @@ export class ExtHostNotebookController implements ExtHostNotebookShape, ExtHostN
revivedUri,
this._proxy,
onDidReceiveMessage,
this._documents.get(revivedUri.toString())!,
document,
this._documentsAndEditors
);
this._onDidOpenNotebookDocument.fire(document);
// TODO, does it already exist?
this._editors.set(revivedUri.toString(), { editor, onDidReceiveMessage });
});