Open stephane-klein opened 1 year ago
La version vanilla Dash to Dock semble avoir été mise à jour https://old.reddit.com/r/gnome/comments/wyze7x/dash_to_dock_esxtension_updated/
Pour le moment, je réutilise https://github.com/halfmexican/dash-to-dock-pop/tree/ubuntu-dock
Depuis le 19 août 2022, j'utilise l'extension Gnome Hot Edge, problème :
Quelques solutions :