Sinon, tu peux essayer MenuLibre, pour voir si ça donne quelque chose :
sudo apt install menulibre
C'est un éditeur de menu pour Gnome3, Unity et autres.
Quand tu l'ouvres, ça devrait te donner quelque chose comme
ça. (peut-être pas avec le même thème, mais ça devrait ressembler)
Si la colonne de gauche est vide, essaie d'ajouter des lanceurs avec l'application,
Si ce n'est pas ça, je n'ai aucune idée...
