Nachtrag:
wenn Sie die Extension Dash to Dock ganz loswerden wollen, können Sie sie auch deinstallieren mit folgendem Befehl im Terminal:
sudo apt purge gnome-shell-extension-ubuntu-dock
MfG
Li
Schön, dass Ihre Frage beantwortet wurde!
Um weiterhin auf dem Laufenden zum Thema Technik und PC zu bleiben, nehmen Sie doch kostenlos teil an unseren monatlichen LIVE-Webinaren: hier klicken für Registrierungsseite. Bei diesen Online-Shows können Sie uns all Ihre Fragen rund um das Thema Computer stellen und lernen jeden Monat etwas Neues.