剪辑的视频怎么缩小