player: workaround for wrong video display size when fullscreen changed