Gnome-Panels auto-hide feature stops sometimes to work

On our SunRay-Environment with Solaris 10  it sometimes happens that the autohide feature of the gnome-panel just stops to work.

I found a workaround here.

ps -fu | grep gnome-panel 

kill -TERM