src/vs/base/browser/ui/tree/objectTree.ts/ObjectTree/updateElementHeight
class ObjectTree:	updateElementHeight(element: T, height: number): void {
		this.model.updateElementHeight(element, height);
	}