Added "Auto-hide Panel" option to Panel menu