playscii/formats/out_gif.py

16 lines
501 B
Python

from art_export import ArtExporter
from image_export import export_animation
class GIFExporter(ArtExporter):
format_name = "Animated GIF image"
format_description = """
Animated GIF of all frames in current document, with
transparency and proper frame timings.
"""
file_extension = "gif"
def run_export(self, out_filename, options):
# heavy lifting done by image_export module
export_animation(self.app, self.app.ui.active_art, out_filename)
return True