primary-menu: Add F10 accelerator to open the menu
@mcatanzaro Could you review this for me?
See https://gitlab.gnome.org/GNOME/gnome-devel-docs/issues/12
@mcatanzaro Could you review this for me?
See https://gitlab.gnome.org/GNOME/gnome-devel-docs/issues/12