src/vs/workbench/contrib/markers/browser/markersView.ts/MarkersView/getFocusElement
class MarkersView:	public getFocusElement(): MarkerElement | undefined {
		return this.widget.getFocus()[0] ?? undefined;
	}