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