[Bug 45974] Re: Auto-hide in gnome-panel

[Misery]

** Description changed:

  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
+ 
+ Steps to reproduce:
+ #1 Set gnome-panel to "Auto-Hide"
+ #2 Remove "main-menu" and "menu-bar" from gnome-panel
+ #3 Press <Alt><F1> to open main menu - Menu opens on screen
+ #4 Close main menu and move mouse to gnome-panel
+ #5 Panel doesn't hide
+ 
+ Expected:
+ Panel should hide...

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