Re: Lost panel
- From: Peter Wainwright <prw wainpr demon co uk>
- To: klaust tcd ie
- Cc: Daniel Weber <DWEBER1 austin rr com>, gnome-list gnome org
- Subject: Re: Lost panel
- Date: Thu, 30 Sep 1999 08:59:41 +0100
On Wed, 29 Sep 1999 22:34:32 Tobias Klaus wrote:
> I had the same problem. Press /panel/ at the cammand prompt, and you'll
> get a new one, which is the original one without your changes. There may
> be a message that there is one already running (I don't remember
> exactly) - press "yes". The real problem about it is, that your nice
> customisation is gone :-(
> Still, it would be nice, if (a) there would be a better way to deal with
> the problem, or even better (b) not to have this problem. ;-)
This is one of the really irritating things with Gnome, and it really
has to be sorted before Gnome is ready for generaly use by the unsophisticated
user.
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.
>
> Tobias
>
> Daniel Weber wrote:
> >
> > I was playing around with setting a background pixmap on the panel
> > settings and when I press "Apply" my panel disappeared. Then I got a
> > message about "There is already a panel running. Should I start
> > another?". I selected no and now the panel is gone. I exited out and
> > restarted, but still nothing. I have little icons for my minimized
> > apps, which is kind of cool, but I would like to have the panel back.
> > I coiuld start wiping out config files, but there must be an easier
> > way.... Any help appreciated...
> >
> > daniel
> >
> > --
> > FAQ: Frequently-Asked Questions at http://www.gnome.org/gnomefaq
> > To unsubscribe: mail gnome-list-request@gnome.org with
> > "unsubscribe" as the Subject.
>
> --
> Tobias Klaus
>
> Department of Political Science
> Trinity College Dublin
> Dublin 2
> Ireland
>
> Neuffenstr, 6/1
> 73116 Waeschenbeuren
> Germany
>
>
> --
> FAQ: Frequently-Asked Questions at http://www.gnome.org/gnomefaq
> To unsubscribe: mail gnome-list-request@gnome.org with
> "unsubscribe" as the Subject.
--
Peter Wainwright
Home: prw@wainpr.demon.co.uk Work: peter.wainwright@nrpb.org.uk
http://www.wainpr.demon.co.uk Fax: +44-870-052-3185
Visit the Opera Exchange Homepage at http://www.treda.co.uk/opex/
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]