要把视频剪短，你可以按照以下步骤在剪映专业版中进行操作：
打开剪映专业版应用程序并导入要编辑的视频。
在时间轴中找到要剪切的起始点。你可以使用放大和缩小工具放大视频，以便更好地找到准确的剪切位置。
在时间轴上拖动游标到需要剪切的终点。
在时间轴上选中剪切区域。
点击屏幕底部的"剪切"按钮，剪切区域将被删除，视频将被裁剪为你所选择的长度。
重复以上步骤，根据需要剪切视频的不同部分。
编辑完成后，点击"导出"按钮，选择视频的输出格式和保存位置。
通过这些步骤，你可以轻松地使用剪映专业版将视频剪切为你所需的短视频。
