src/vs/workbench/contrib/preferences/browser/tocTree.ts/TOCTreeModel/currentSearchModel
class TOCTreeModel:	set currentSearchModel(model: SearchResultModel | null) {
		this._currentSearchModel = model;
		this.update();
	}