xfce4-panel autohide and menu plugin

[Nikolas Arend]

Hi,

this is perhaps not a bug exactly but I'll file a bug report if you wish.
The panel, when set to "autohide", won't hide again after opening the 
application menu (xfce menu plugin) and either choosing an application 
to launch or clicking elsewhere on the desktop (to make the app menu 
disappear). I have to hover over the panel with the mouse to make it 
hide again (svn revision 21111). I'm not sure whether it's a problem 
with the panel or the menu plugin.

Regards,  Nick.