- From: "Sergey I. Panov" <sipan mit edu>
- To: rhertzog hrnet fr (Raphael Hertzog)
- Cc: gnome-devel-list gnome org
- Subject: Re: Gnome-core
- Date: Tue, 12 Oct 1999 15:19:40 -0400 (EDT)
> 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?
] [Thread Prev