Gnome panel bug incoming/96

[Manish Vachharajani <mvachhar vger rutgers edu>]

I don't know how or if I can work with the gnome bug tracking system but
bug incoming/96 may be due to a problem with how the panel saves sessions.
I had a problem where the panel would exhibit the same behaviour as in the
bug report.  It turns out that if ~/.gnome/panel exists then when the
panel goes to save through the session manager it creates
~/.gnome/panel-Session-SessionID as a directory instead of a file, and
from that point the panel session never gets saved.  I fixed this by
deleting ~/.gnome/panel and ~/.gnome/panel-Session*.  Then I ran the
session manager and a panel and typed save-session.  This causes the panel
to do the right thing and everything works from that point on.

I haven't been able to figure out why the thing creates a directory
instead of a file in certain cases but I haven't spent much time on it
either.

Manish Vachharajani
<mvachhar@vger.rutgers.edu>