Hide Forgot
Description of problem: It used to be possible to disable launching the Gnome help browser when hitting the F1 key in gnome-shell and use F1 in custom keyboard shortcuts or at least not see the help browser. Version-Release number of selected component (if applicable): gnome-shell-3.22.0-1.fc25.x86_64 gnome-settings-daemon-3.22.0-1.fc25.x86_64 How reproducible: Always. Steps to Reproduce: 1. While in gnome-shell, press F1. This launches GNOME Help as expected. 2. Go the Gnome Control Center -> Keyboard -> Launch help browser. Set to Disabled. 3. Press F1. Actual results: GNOME Help starts. Expected results: GNOME Help should not get launched. Additional info:
Given that the help browser is launched by applications, this is working as expected. You must be dreaming this F1 disablement, as it's always been empty by default.