I've got a better 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 better 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.