Follow-up Comment #2, sr #110944 (project administration):
Out of curiosity: doesn't this reproduce with other window managers? I would
expect it does.
At any rate, it looks like a release-specific bug, so it doesn't seem to me
that the efforts to find out a workaround will be justified.
_______________________________________________________
Reply to this item at:
<https://savannah.nongnu.org/support/?110944>
_______________________________________________
Message sent via Savannah
https://savannah.nongnu.org/
