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 since... > I can't see how > you would start a new window manager in such a way that it will work in > all cases. ...it 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. Cheers,
Attachment:
pgpt40EDgtvzn.pgp
Description: PGP signature