How to change the window manager for GNOME? (default is sawfish?)
Does anyone know how to change the window manager used by GNOME?
It seems that the default is sawfish; I uninstalled sawfish and now another window manager must be used, but I don't know which one,
and I want to use WindowMaker instead.
N.B: Example: because I want to be able to resize/move the windows without having them refreshed all the time. I can configure this in Window Maker, but I don't know how to do this in other window managers. And I like WindowMaker.