Ich mag dieses #Dock von #Gnome sehr!

Gerade weil man es nicht auf die komplette Breite des Bildschirms einstellen muss, sondern auch so eine Insel haben kann, dann kann der Platz daneben für kleinere Dinge verwendet werden, wie bspw. einem Musik Player!

Die #Extension heißt "Dash To Dock".