非标准分辨率视频，比如电脑任意窗口录制的800x515分辨率的视频，剪辑以后
如何生成原始大小的分辨率，什么工具可以？
--
FROM 218.108.214.*