Video Editor
The video editor, also referred to as just "editor", allows for manipulating video files, mainly for cutting them via a SMIL file. The video editor consist of multiple parts, all of which may also be referred to as "editor".
The following lists contains information on the different parts of the editor, as well as possible configuration options.