A non-wimp window manager for X11