src/vs/base/browser/ui/tree/objectTreeModel.ts/ObjectTreeModel/rerender
class ObjectTreeModel:	rerender(element: T | null): void {
		const location = this.getElementLocation(element);
		this.model.rerender(location);
	}