write_bitmap_file/[2,4]

     write_bitmap_file(+Filename, +Pixmap)
     write_bitmap_file(+Filename, +Pixmap, +X_hot, +Y_hot)
     

Writes Pixmap out to file Filename in X11 standard encoding. If X_hot and Y_hot are supplied, they specify the hotspot for the pixmap, else there is no hotspot.