[PATCH 4/6] winex11.drv: Add set_screen_size() helper.