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