Vor einer ganzen Weile habe ich Gnome Do installiert, weil es als ganz tolle Ausführung eines “Docks” gepriesen wurde. Aber was bekam ich statt dessen? Einen Schnellstarter, der auf Tastenbefehle hört. Das geht mit dem Terminal schneller – finde ich zumindest.
Kooldock war zwar ganz schick, stürzte aber zu oft ab.
Und dann, kurz befor ich Gnome Do wieder von meinem Rechner verbannen will, finde ich den entscheidenden Hinweis: Das Dock ist nicht das Hauptfeature von Gnome Do, sondern nur ein “Theme”, das aktiviert werden muss.
Also, die “Preferences” aufgerufen, “Appearance” aufgerufen und “Docky” als “Theme” eingestellt. Alles gut, sogar noch besser als Kooldock. Und nun kann ich wieder das obere Panel am Bildschirmrand auf “Auto Hide” stellen und weitere 20 Pixelreihen bzw. 25600 Quadratpixel zurückerobern 
Vielleicht doch mal mit einem Mac arbeiten…