Provide F10 keyboard shortcut to toggle main menubutton
Most/all GNOME apps use the de-facto standard F10 keyboard shortcut for toggling the main menubutton, so if possible, this app should as well.
Most/all GNOME apps use the de-facto standard F10 keyboard shortcut for toggling the main menubutton, so if possible, this app should as well.