xs2ppm — send graphics to a PPM file.
integer, id of the figure to export.
handle of the figure to export.
string, name of the exported file.
xs2ppm exports the display of a graphic window into a PPM file.