src/vs/workbench/browser/parts/editor/editorGroupView.ts/EditorGroupView/onWillDisposeEditor
class EditorGroupView:	private onWillDisposeEditor(editor: EditorInput): void {

		// To prevent race conditions, we handle disposed editors in our worker with a timeout
		// because it can happen that an input is being disposed with the intent to replace
		// it with some other input right after.
		this.disposedEditorsWorker.work(editor);
	}