@tyil@fedi.tyil.nl, I don't think GNOME has ever got global menu, it's more of a Unity and KDE thing. Cc: @that_leaflet@lemmy.world