Support for GIFs in Editor #303
Description
Ship support for exporting GIFs from the editor.
To make this work, when you click the "Export" button, there should be a "File Type" option. Default will be MP4, but options will be MP4 and GIF.
Will probably need to default to 15fps for the GIF export.
If you make an extra toggle for "High quality GIF", which will of course increase file size, I'll add an extra $100 to the bounty payout.