src/vs/base/browser/ui/tree/objectTree.ts/ObjectTree/rerender
class ObjectTree:	rerender(element?: T): void {
		if (element === undefined) {
			this.view.rerender();
			return;
		}

		this.model.rerender(element);
	}