Zoals je het beschrijft, lijkt het de autohide-functionaliteit. Maar deze zit in gnome-panel, die dan weer niet in 12.04 zit. Ubuntu gebruikte tot aan 11.04 gnome-panel. Je zegt (denkt) dat je 12.04 hebt, maar daar kan dus geen autohide inzitten.
Kun je voor de zekerheid eens ingeven in de terminal:
lsb_release -a