cocoa_common: change video size when changing screen DPI

This improves the situation when moving a window from screens with different
DPIs.