Re: Reducing the number of special uris in gnome

On Fri, Jul 05, 2002 at 06:47:25PM +0800, James Henstridge wrote:
> Well, if window managers should be visible anywhere in the menus, it 
> should be in a window manager selection control panel.

Yes, this is one possible place.
BTW, how do you change window manager with the gui nowadays?
The only thing I find is a gconf key, but having to restart the desktop
just to switch the window manager doesn't seem like a good thing.

Most people don't do this frequently, but I don't think that having a
control panel to handle a switch in window managers is a bad thing

> I can't see how 
> you would start a new window manager in such a way that it will work in 
> all cases. is a possible answer to this problem (a seperate app controls
kill'ing one wm and exec'uting the new one).

> Most window managers don't handle new WMs acquiring the 
> window manager selection properly (in which case they are supposed to 
> exit).  Exec()'ing the new WM (so that it replaces the old WM) won't 
> work if some process other than the WM is displaying the menus.

It sure would be nice to have a standard way of handling this situation
on the window manager level.


Attachment: pgpt40EDgtvzn.pgp
Description: PGP signature

[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]