Added "Auto-hide Panel" option to Panel menu
Merge pull request #3362 from Hubro/master

Added "Auto-hide Panel" option to Panel menu