Re: Gnome-core

["Sergey I. Panov" <sipan mit edu>]

> 
> I can assure you that the bug does exist. I can reproduce it with 1.0.53.
> Juste move your mice rapidly over the panel while reducing. Move it again
> and again to try to catch the panel before it's hidden. :-)
> 
> You can try to change basep_widget_do_hiding to slow the hiding and better
> reproduce the problem. :-)
> 

 On my slow computer I tied whith different autohiding speeds and did not
see the effect you've  described. Do you have any applets running in your 
panel? What WM you are using? 

 Sergey