On 4 Oct 2002, Havoc Pennington wrote: > James Ralston <qralston+ml.redhat-psyche-list@andrew.cmu.edu> writes: > > > How do I change the icon on the GNOME Menu? > > Someone (not my fault! it was upstream) took that out, I'm not sure > why. There's still an option in gconf, however, to be poked > manually. Here is how you have to do it: [...] Thanks, I'll give that a shot when I have a chance. > > How do I switch among window managers? > > The intended way is "sawfish --replace; gnome-session-save" however > sawfish doesn't support --replace yet. Ok, so there isn't a GUI way of doing it yet. > > Does Sawfish support a "go to workspace [n]" function which I can > > bind? > > I'm pretty sure it does. Others have said the same; I'll dig around some more. Thanks, -- James Ralston, Information Technology Software Engineering Institute Carnegie Mellon University, Pittsburgh, PA, USA
