Since windows cannot overlap the Dock under Mac OS, hiding the Dock is often a good way to gain additional vertical screen space, particularly on smaller devices like a MacBook Pro 13. Unfortunately, there is always a certain delay until the Dock will be shown again when moving the mouse nearby. Personally, I find this very annoying as it unnecessarily slows down my workflow. I have also noticed that this works especially slowly when using external mice as opposed to the MacBook’s trackpad.
Fortunately, many hidden options in Mac OS can be influenced by the
defaults command line tool. To trigger the
fade-in animation of the Dock immediately you can do the following:
defaults write com.apple.dock autohide-delay -float 0 killall Dock
After executing this command the Dock needs to be restarted (
killall Dock). If you want to switch
back to the standard behavior, you can simply delete the corresponding configuration key:
defaults delete com.apple.dock autohide-delay killall Dock
You can also control the duration of the fade-in and fade-out animation itself. For example, to set the animation duration to half a second, you can enter the following commands.
defaults write com.apple.dock autohide-time-modifier -float 0.5 killall Dock