clear_pixmap - erase the pixmap buffer
The clear_pixmap() instruction erase the pixmap, but not the screen.
figure_properties , show_pixmap ,
Serge Steer INRIA