Que se passe t-il ici? J'ai installé l' extension Dash to Dock sur Ubuntu 17.10. Tout était cool, et alors que j'essayais d'affiner et de modifier l'apparence de mon bureau, à un moment donné, la barre de raccourcis (dock?) À gauche est dupliquée. La valeur par défaut, qui disparaît normalement avec Dash to Dock, se trouve sous celle qui apparaît généralement lorsque j'installe Dash to Dock. Pourquoi?
(Cliquez sur l'image pour agrandir)
J'ai essayé de passer en revue les options de Dash to Dock, l'outil GNOME Tweak et les paramètres Ubuntu habituels, mais je ne peux pas le comprendre.
sudo apt remove gnome-shell-extension-ubuntu-dock
. C'est ce que j'ai fini par faire pour résoudre des problèmes comme celui-ci. Bye Bye!