Re: changing the gnome window manager