From the File menu, select Export Animation. Name your animation, select a folder, and press Save.
The Export as Animated GIF dialog opens. Select the options shown and press Save. The higher the Color Depth
the larger the file size. Diffused Dithering also adds to the file size but not greatly when a smaller Color Depth
setting is selected. Experiment to see which settings give the best quality and the smallest file size.