Dock-Container

Ein Dock-Container besteht aus einer oder mehr Anzeigen.
Die Namen aller Dockreiter, die sich im Container befinden, werden in der Kopfzeile des Containers aufgelistet.

Reiter können im Dock hinzugefügt oder entfernt werden, indem man sie am Dockreiter auf einen anderen Dock-Container oder aus dem bestehenden Dock zieht. Wenn er außerhalb eines Docks losgelassen wird, erzeugt der Reiter sein eigenes Dock.
Reiter können auch innerhalb eines Dock-Containers verschoben werden, indem sie aneinander vorbei gezogen werden.