[gtkada] Saving pixmap animation as movie?

[Bobby D . Bryant]

Does anyone have a technique for spilling pixmaps out to a file?  I 
need to make a movie of the pixmap-based animations produced by a 
GtkAda application.

Thanks,

Bobby Bryant
Austin, Texas