Re: How do I add a new window manager?