xfce4-panel autohide and menu plugin

[Nikolas Arend]

Jasper Huijsmans wrote:
> Nikolas Arend schreef:
>   
>> 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.
>>
>>     
>
> The menu grabs the mouse, so the panel doesn't 'see' that the mouse is 
> no longer on the panel.
>
> I need to check if I created a solution for this in the plugin library. 
> I know I wanted to add something, but I'm not sure I got around to it...
>
> Hmm, seems I did. Brian, I committed 1 line change below, hope you don't 
> mind.
>   
That seems to fix it, thanks Jasper.

Best regards,  Nick.