Extras for window manager Window Maker
