xfce4-panel autohide and menu plugin

[Nikolas Arend]

Stephan Arts wrote:
> On 4/20/06, Nikolas Arend <Nikolas.Arend at gmx.net> wrote:
>   
>> 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.
>>     
>
> I have tried it, and it is hard to trace since it does not happend
> *all* the time.
>
>   

Hm, seems to be 100% reproducible over here (FC4, gtk+ 2.6.10, glib 2.6.6).

Best,   Nick.