src/vs/base/browser/ui/tree/indexTreeModel.ts/IndexTreeModel/updateElementHeight
class IndexTreeModel:	updateElementHeight(location: number[], height: number): void {
		if (location.length === 0) {
			throw new TreeError(this.user, 'Invalid tree location');
		}

		const { listIndex } = this.getTreeNodeWithListIndex(location);
		this.list.updateElementHeight(listIndex, height);
	}