Added a "Download" menu in the tool, where you can change some settings for the export and choose between exporting: the sprite as a single image with effect applied or (what is new) as a gif or spritesheet. This might be especially useful for future effects and extensions.

I also added export options for the background, where you can set custom export resolutions.

Regarding the shaders, there is a minimal change, that adds a "time" uniform variable, which is by default -1 and making the shader internally use godots "TIME" and they should behave like before. If you set a value != 0, it will use the set time for the shader. With this, you'll have more control over the effect.