src/vs/workbench/contrib/preferences/browser/preferencesWidgets.ts/SettingsGroupTitleWidget/onCursorChange
class SettingsGroupTitleWidget:	private onCursorChange(e: ICursorPositionChangedEvent): void {
		if (e.source !== 'mouse' && this.focusTitle(e.position)) {
			this.titleContainer.focus();
		}
	}