Commit 1c3ff4f0 authored by Christopher Davis's avatar Christopher Davis Committed by Alexandru Băluț

menu: Use GtkPopoverMenu instead of GtkMenu for primary menu

Popovers are recommended for primary menus; In addition, the
migration from the app menu introduced new conventions like
using "About [App]" instead of "About", and grouping
Preferences with About, Help, and Keyboard Shortcuts.
parent 2f2a3bdc
Pipeline #46613 passed with stages
in 76 minutes and 43 seconds