Même si ce n'est pas la question, je rappelle qu'on peut facilement avoir un menu dans le dock plank avec Xfce.
Ce menu, c'est
xfce4-appfinder, application native de xfce, qu'on trouve dans
/Accessoires/liste des applications, dont on peut faire un D&D sur plank.
On peut paramétrer en grille d’icônes (ou en menu classique) via le bouton "préférences" en bas à gauche. Ça fait un super menu, qu'on peut appeler via le dock.
pour paramétrer en grille d'icones,
voilà le paramétrage à faire
Ca donne alors
quelque chose comme cela.
Et sinon, merci pour le truc de Crestey, je vais tester. mais chez moi l'autre option (xfce4-popup-whiskermenu -p) marche aussi... Plus ou moins... Bizarre.
A noter que dans la 18.04, nous avons la version xx.5 de whisker, alors que sur le site du dev, on en est à la xx.7.
Manifestement il a fait des correctifs très récemment, donc on a peut-être une version un peu bugguée (?)
