Better Background Videos

The UI of the video background editor has been improved.

First, it will now nicely show the preview image of the video.

Second, you can now set the start time of the video. This is useful if you want to skip the intro of the video or start it at a specific moment.