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

[xfce-bugs at xfce.org]

The following bug has been ASSIGNED.
=======================================================================
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:34 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)
=======================================================================