I have committed my group leader changes. I have (for the moment) at least decided that the de-iconification problem is not a problem introduced by them - maybe they are even a problem of ExMH, since its exmh.BUGS file mentions the phenomenon.
I wonder, btw, what should done with "sqeezed" windows (aka "rolled up"): should doing that to the group leader also do it to the group members? Or unmap them, like happens with iconification? -Olaf. -- ___ Olaf 'Rhialto' Seibert -- You author it, and I'll reader it. \X/ rhialto/at/xs4all.nl -- Cetero censeo "authored" delendum esse.
