A configuration tool for Window Maker