Extras for Window Maker window manager
