[Xfce-bugs] [XFCE 0000266]: Panel does not autohide when after using xfce menu plugin

[xfce-bugs at xfce.org]

A BUGNOTE has been added to this bug.
=======================================================================
http://bugs.xfce.org/view_bug_page.php?f_id=266
=======================================================================
Reporter:                   nick_08150
Handler:                    huysmans
=======================================================================
Project:                    XFCE
Bug ID:                     0000266
Category:                   panel
Reproducibility:            always
Severity:                   minor
Priority:                   normal
Status:                     assigned
=======================================================================
Date Submitted:             2004-07-21 11:18 GMT
Last Modified:              2004-07-21 11:40 GMT
=======================================================================
Summary:                    Panel does not autohide when after using xfce menu plugin
Description: 
When clicking the xfce menu plugin in the panel (either launching an app
from it or just opening and closing it again by clicking on the desktop or
somewhere else), the panel won't hide again when configured to autohide.
One has to hover over it with the mouse or click sth. to make it hide
again.

I have a reasonable recent CVS version of panel and desktop installed
(don't know the exact checkout date)
=======================================================================

-----------------------------------------------------------------------
 huysmans - 2004-07-21 11:40 GMT 
-----------------------------------------------------------------------
Yeah, I'm not sure it can be helped. This also happens when you use any
right-click menu. The panel does not notice the mouse moved outside the
panel area, because the gtk menu captures all events.

Hmm, perhaps I can watch for the menu to be closed again ...