Wmakerconf is a configuration tool for the WindowMaker windowmanager. PR: 13140 Submitted by: Dominik Rothert <dr@domix.de>