src/vs/base/browser/ui/tree/asyncDataTree.ts/AsyncDataTree/setSelection
class AsyncDataTree:	setSelection(elements: T[], browserEvent?: UIEvent): void {
		const nodes = elements.map(e => this.getDataNode(e));
		this.tree.setSelection(nodes, browserEvent);
	}