Das Dock von macOS lässt sich bekanntlich anpassen, in den Systemeinstellungen lassen sich Dinge wie Position, Größe und Animationen festlegen. Und das Dock kann automatisch ausgeblendet werden. Das sind aber nicht alle Einstellungen, die man vornehmen kann, so findet sich in den Systemeinstellungen zum Beispiel keine Möglichkeit, die Animationsgeschwindigkeiten zu justieren.
Das ist vor allem dann ärgerlich, wenn man mit ausgeblendetem Dock arbeitet und immer warten muss, bis dieses mal im Sichtbereich auftaucht. Das ist natürlich nicht lang, aber die Wartezeiten können sich summieren. Für mich ist es zu Beispiel ein großer Vorteil, wenn das Dock sofort auftaucht, wenn ich meine Maus in die Richtung bewege.
Das kann man über irgendwelche Befehle auch über das Terminal regeln, viel einfacher macht dies aber Dockey, eine kleine Freeware. Sie beherbergt diverse Dock-Einstellungen, die man über ein grafisches Nutzerinterface auswählen kann. Oder ändern, falls man es anders möchte. Im Fall der Animationen sind drei Geschwindigkeiten plus „instant“ vorhanden.
Diese Geschwindigkeiten können sowohl für das Ausfahren des Dock als auch für die Verzögerung bis zum Ausfahren an sich festgelegt werden. Außerdem ermöglicht die App auch das Festlegen der Position (links, rechts, unten) und man kann eben festlegen, ob das Dock dauerhaft eingeblendet werden soll oder nicht. Für den Fall, dass es dauerhaft eingeblendet ist, stehen die Animations- und Verzögerungsoptionen logischerweise nicht zur Verfügung.
In einem kleinen Preview-Fenster sieht man zudem, wie sich die getätigten Einstellungen auf das Dock-Verhalten auswirken. Rückgängig kann man auch wieder alles machen, wobei das ja nicht so viele Einstellungen sind, als dass man sich da groß verrennen könnte.
Ganz praktisches Tool, das man zwar nicht allzu häufig gebrauchen wird, das aber einem die Einstellungen bezüglich des Docks aber schon vereinfachen kann. Gibt es auf dieser Seite kostenlos.