Given that El Capitan allows one to auto-hide the menu bar, I wonder if anyone knows how to find the terminal command to speed up the animation, similar to how one can make the dock appear immediately with: defaults write com.apple.dock autohide-time-modifier -int 0;killall Dock