Saving Images

Mocha can save the current image out as a bitmap or GIF. Choose File/Save Image... and set the file format in the save dialog.

Also, animations can be saved as either an animated GIF or as an AVI file. Choose File/Save Animated GIF/AVI...