src/vs/workbench/contrib/preferences/browser/preferencesRenderers.ts/UserSettingsRenderer/focusPreference
class UserSettingsRenderer:	focusPreference(setting: ISetting): void {
		const s = this.getSetting(setting);
		if (s) {
			this.settingHighlighter.highlight(s, true);
			this.editor.setPosition({ lineNumber: s.keyRange.startLineNumber, column: s.keyRange.startColumn });
		} else {
			this.settingHighlighter.clear(true);
		}
	}