On 4 Oct 2002, Havoc Pennington wrote:

> James Ralston <[EMAIL PROTECTED]> 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




Reply via email to