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