Re: Gnome panel bug incoming/96

[Jaka Mocnik <jaka mocnik kiss uni-lj si>]

Manish Vachharajani wrote:
> 
> 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.

yep, you're right, but since panel creates the .gnome/panel file when it
is started (probably due to some gnome_config_* call) the file has to be
removed AFTER the panel has been started. actually I think this is a
gnome-config bug, but I haven't been able to trace it down yet...

regards,
	jaKa

-- 

email:   jaka.mocnik@kiss.uni-lj.si
www:     www.kiss.uni-lj.si/~k4fe0026