DockMenu Use the Dock menu to turn hiding on, then switch locations, and then turn hiding off again. Dock hiding in OS X Related