Some bits of window manager