Re: Lost panel

[Norman Stevens <norman arcady u-net com>]

On Thu, 30 Sep 1999, Peter Wainwright wrote:

> What happens is that when the panel starts up it sets the GNOME_PANEL X
> property on the display where it is running. If another panel starts up
> on the same display, it checks for this property, and if it finds it it
> gives you the usual warning message and refuses to save customizations
> (because it assumes that there is another panel using the config files).
> 
> Unfortunately, if a panel dies unexpectedly, the GNOME_PANEL property
> is not removed; the session manager attempts to respawn a panel, but
> it acts as if there were a panel still present. This needs a redesign,
> along one of the following lines:
> (1) the panel should NEVER crash :-)
> or (2) there must be some better way than the GNOME_PANEL property to
> ensure only one panel per display.
> 
Could we store the window id of the panel and have the new panel
check that this window id is valid and is a panel?

Norman