I’m not a fan of Dock auto-hiding, but truth to be told, sometimes it’s nice to get the clutter out from your screen real estate – so I decided to try it out.

After few minutes running with the Auto hide feature, I realised that it’s too slow – I found myself always waiting for it to get fully extended.

After consulting Google, I found a way to quickly modify the animation speed and show/hide delay.

There are 2 options you can check:

"autohide-delay" and "autohide-time-modifier". Normally, both options are not set. I found out that 0 seconds autohide-delay and 0.15 seconds autohide-time-modifier fits me the best.

To enable quick Dock show/hide feature:

defaults write com.apple.Dock autohide-time-modifier -float 0.15
defaults write com.apple.Dock autohide-delay -int 0
killall Dock

To check the current settings:

defaults read com.apple.Dock autohide-time-modifier
defaults read com.apple.Dock autohide-delay

Note: If you get "The domain/default pair of (com.apple.Dock, autohide-time-modifier) does not exist" or "The domain/default pair of (com.apple.Dock, autohide-delay) does not exist", it means there is no change to default values.

To disable quick Dock show/hide feature:

defaults delete com.apple.Dock autohide-time-modifier
defaults delete com.apple.Dock autohide-delay
killall Dock

Remember that killall will restart the Dock.

Tested on MacOS Catalina

Leave a Reply

Your email address will not be published. Required fields are marked *