the windowlab window manager I use with some modifications