I just installed 13.10, and I can't seem to find how set the Unity Panel (launcher) to auto-hide. Can someone direct me to where the option is? A search in the settings shows no results.
A search on askubuntu reveals several threads with hiding issues and how to fix them using tools. But doesn't tell me where I can find the simple auto-hide option to begin with. Does the default installation contain such an option, and if so, where? Do I need to install some tools to get this option? If so, shouldn't such a basic option already be there?