[Bug 45974] Auto-hide in gnome-panel

[Misery]

Public bug reported:

My gnome-panel doesn't disappear although I checked the option "Auto-hide" in the Panel settings. I don't want the main menu in the panel so I open it with <Alt><F1>.
I think this is the problem.

If I start e.g. firefox and move the mouse over the panel and then away, the panel does not disappear anymore.
I can reproduce it on another system.

Gnome-Panel: 2.14.1-0ubuntu13

** Affects: gnome-panel (Ubuntu)
       Severity: Normal
       Priority: (none set)
         Status: Unconfirmed

-- 
Auto-hide in gnome-panel
https://launchpad.net/bugs/45974