src/vs/base/browser/ui/tree/indexTreeModel.ts/IndexTreeModel/refilter
class IndexTreeModel:	refilter(): void {
		const previousRenderNodeCount = this.root.renderNodeCount;
		const toInsert = this.updateNodeAfterFilterChange(this.root);
		this.list.splice(0, previousRenderNodeCount, toInsert);
	}