src/vs/base/browser/ui/tree/asyncDataTree.ts/AsyncDataTree/rerender
class AsyncDataTree:	rerender(element?: T): void {
		if (element === undefined || element === this.root.element) {
			this.tree.rerender();
			return;
		}

		const node = this.getDataNode(element);
		this.tree.rerender(node);
	}