src/vs/workbench/contrib/preferences/browser/preferencesRenderers.ts/DefaultSettingsRenderer/focusPreference
class DefaultSettingsRenderer:	focusPreference(s: ISetting): void {
		const setting = this.getSetting(s);
		if (setting) {
			this.settingsGroupTitleRenderer.showSetting(setting);
			this.settingHighlighter.highlight(setting, true);
		} else {
			this.settingHighlighter.clear(true);
		}
	}