L’extension GNOME ajoute un menu global au panneau supérieur du bureau, y compris pour certaines applications qui n’ont pas leur propre barre de menus.