But users could be supply with a shortcut that would have the needed setting.