wmltools GUI: backported bugfixes from trunk