Marco, Thanks! You've no idea how I've struggled to get this information.
> Hello Haines,AFAIK if you remove your ~/.gnome* dirs. then you will be able to > restart a fresh gnome desktop... I presume that since gnome is set as my desktop manager, these files would be regenerated without my having to restart gnome explicitly. > > Do you happen to know the name of the gnome desktop switcher > > executable... > > switchdesk-gnome-3.9.8-2 The terminology leaves my head spinning. There's the RedHat desktop switcher application, which is what you refer to. But then there's a Workplace Switcher, which is a pager. This is what is broken and what I meant. I apologize. > Furthermore an useful hint from an old message: > > "Slough, Kelle" <[EMAIL PROTECTED]> writes: > > Unfortunately though, I cannot get the panel back. Does anyone have any > > ideas on how I can restore the panel? As an FYI, I did install the latest > > fixes afterwards and that has not corrected the problem. > > Just run the panel in a terminal (type "panel") and then type > "save-session" after the panel starts. > > Havoc I assume that "havoc" is the person's name, not what happens if you follow the advice ;-). Haines - To unsubscribe from this list: send the line "unsubscribe linux-newbie" in the body of a message to [EMAIL PROTECTED] More majordomo info at http://vger.kernel.org/majordomo-info.html Please read the FAQ at http://www.linux-learn.org/faqs
