Video editing. Editing a video in an editing program