I watched the video that Alan Becker made about how he gets his videos from Flash to YouTube, and he said something about how flash exports animations. This got me wondering how Wick editor exports animations

it exports animations as mp4s or GIFs. there is an export button near the save button on the top right corner. i would recommend adding audio in a separate app.

I meant how the animation goes from “animation to mp4”.

Like does Wick Editor play the animation and record it?

It uses ffmpeg on the backend. It probably exports as a series of images and then uses ffmpeg to encode it.