Re: Panel auto-hide jumping patch

[Vincent Untz <vuntz gnome org>]

On lun, 2006-08-07 at 15:43 -0400, Zoran Rilak wrote:
> I submitted a patch to bug #171938:
> http://bugzilla.gnome.org/show_bug.cgi?id=171938
> 
> The bug caused auto-hidden BOTTOM and RIGHT panels to sometimes realign
> themselves along the opposite side of the screen when animation was
> turned on.

Great work! It's committed.

I really need to use GNOME on a slower computer to reproduce bugs like
this ;-)

Thanks,

Vincent

-- 
Les gens heureux ne sont pas press�