Bug#844404: gnome-shell: Unable to use any combination of F1 key without opening help.

Jeremy Bicha jbicha at ubuntu.com
Tue Dec 13 23:15:19 UTC 2016

The Super+F1 part is intentional:


For the other examples you listed, maybe you should file a bug against
GNOME directly?

Jeremy Bicha

More information about the pkg-gnome-maintainers mailing list