Cosa sta succedendo qui? Ho installato l' estensione Dash to Dock su Ubuntu 17.10. Tutto andava bene, e mentre stavo cercando di affinare e modificare l'aspetto del mio desktop, ad un certo punto la barra delle scorciatoie (dock?) A sinistra è duplicata. L'impostazione predefinita, che normalmente scompare con Dash to Dock, è lì sotto quella che di solito appare quando installo Dash su Dock. Perché?
(Clicca sull'immagine per ingrandire)
Ho provato a esaminare le opzioni di Dash to Dock, GNOME Tweak Tool e le normali impostazioni di Ubuntu, ma non riesco a capirlo.
sudo apt remove gnome-shell-extension-ubuntu-dock
. Questo è quello che ho finito per risolvere problemi come questo. Ciao ciao!