src/vs/base/browser/ui/tree/compressedObjectTreeModel.ts/CompressedObjectTreeModel/updateElementHeight
class CompressedObjectTreeModel:	updateElementHeight(element: T, height: number): void {
		const compressedNode = this.getCompressedNode(element);

		if (!compressedNode) {
			return;
		}

		this.model.updateElementHeight(compressedNode, height);
	}