GDXGifRecorder
GDXGifRecorder copied to clipboard
Export to mp4
Would it be possible to export to some sort of video format rather than gifs?
This seems to be possible, but it would require a bit of work and an external video encoding library. I'll consider implementing this in the future, but right now I have other projects to work on.