xfce4-panel autohide and menu plugin

[Stephan Arts]

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.

> Regards,  Nick.

Stephan