The window manager for Minoe