I've got a fix for this by switching to the greedy pixmap migration heuristic, which resolves this and several other problems. It's packaged and tested, and is in the process of being uploaded.
I've got a fix for this by switching to the greedy pixmap migration heuristic, which resolves this and several other problems. It's packaged and tested, and is in the process of being uploaded.