src/vs/workbench/contrib/preferences/browser/settingsEditor2.ts/SettingsEditor2/refreshTOCTree
class SettingsEditor2:	private refreshTOCTree(): void {
		if (this.isVisible()) {
			this.tocTreeModel.update();
			this.tocTree.setChildren(null, createTOCIterator(this.tocTreeModel, this.tocTree));
		}
	}