-
When the headerbar is enabled, the primary menu is an important entry point. Make it more accessible by adding a dedicated shortcut. https://bugzilla.gnome.org/show_bug.cgi?id=756798
30e56b31
When the headerbar is enabled, the primary menu is an important entry point. Make it more accessible by adding a dedicated shortcut. https://bugzilla.gnome.org/show_bug.cgi?id=756798