src/vs/platform/list/browser/listService.ts/TreeResourceNavigator/getSelectedElement
class TreeResourceNavigator:	getSelectedElement(): T | undefined {
		return this.widget.getSelection()[0] ?? undefined;
	}