src/vs/workbench/browser/parts/editor/editorsObserver.ts/EditorsObserver/hasEditor
class EditorsObserver:	hasEditor(editor: IResourceEditorInputIdentifier): boolean {
		const editors = this.editorsPerResourceCounter.get(editor.resource);

		return editors?.has(this.toIdentifier(editor)) ?? false;
	}