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