src/vs/base/browser/ui/tree/indexTree.ts/IndexTree/rerender
class IndexTree:	rerender(location?: number[]): void {
		if (location === undefined) {
			this.view.rerender();
			return;
		}

		this.model.rerender(location);
	}