Hi,
I realized that, on my patch, I was only changing the WM_NAME property but not the
WM_ICON_NAME. Nevertheless, modifying the second property has no effect on the icon
that the taskbar shows. I don't know if this behaviour is related to the way FvwmIconMan works
or if this kind of aspects are controlled by Fvwm. There is a way to force recomputing of the
window icon?
