src/vs/base/browser/ui/tree/indexTree.ts/IndexTree/updateElementHeight
class IndexTree:	updateElementHeight(location: number[], height: number): void {
		this.model.updateElementHeight(location, height);
	}