Le 04/08/2023 à 12:52, didier gaumet a écrit :
et il y a des extensions dock pour Gnome (cherche avec le mot-clé dock): https://extensions.gnome.org/
je viens de tester Dash to Dock, facile à installer par un simple utilisateur à partir du site web des extensions Gnome.
quand une appli est lancée, tu peux l'épingler au dock, l'icône y est donc présente en permanence (jusqu'à ce que tu désépingles)