cambiar gestor de ventana en cualquier distro.

openbox --replace & y para hacerlo definitivo en gnome3 setear estas variables:

$ cat >> ~/.gnomerc export WINDOW_MANAGER=mutter