Schnelleres Einblenden des Docks in Mac OS

Da Fenster das Dock in Mac OS nicht überlappen können, ist das Ausblenden des Docks oft eine gute Idee um zusätzliche vertikalen Bildschirmfläche zu gewinnen. Leider gibt es hier standardmäßig immer eine gewisse Verzögerung bis das Einblenden des Docks ausgelöst wird (insbesondere bei extern angeschlossenen Mäusen). Diese empfinde ich persönlich als sehr störend im Workflow, da es unnötig ausbremst.

Glücklicherweise können viele versteckte Optionen in Mac OS durch das defaults Tool beeinflusst werden. Das verzögerte Einblenden des Docks kann wie folgt eliminiert werden:

defaults write com.apple.dock autohide-delay -float 0
killall Dock

Nach der Änderung muss das Dock neugestartet werden (killall Dock). Möchte man zurück zum Standardverhalten, so kann der entsprechende Konfigurationsschlüssel einfach wieder gelöscht werden:

defaults delete com.apple.dock autohide-delay
killall Dock

Auch die Zeitdauer für das eigentliche Ein- und Ausblendens des Docks kann mit einem ähnlichen Befehl gesteuert werden. Möchte man beispielsweise die Animationsdauer auf eine halbe Sekunde setzen, so ergeben sich in Kombination folgende Befehle:

defaults write com.apple.dock autohide-delay -float 0
defaults write com.apple.dock autohide-time-modifier -float 0.5
killall Dock