Window mis-sized (gap on right side) after losing focus in stage manager

This is likely (but not surely) another manifestation of: