Re: Is Gnome windown manager switching broken again?