[gtkada] Exporting pixmaps?

[Bobby D. Bryant]

Is there a way to dump a pixmap to a file?

I can't really use screenshots, because I want to grab about 100 pixmaps
as I draw them, drop them to files, and create an animation from the
result.

Thanks,

Bobby Bryant
Austin, Texas