Bitmap: Difference between revisions

223 bytes added ,  1 year ago
Line 882:
end
end
 
(*------------------------------------------------------------------*)
 
implement {}
pixmap_width pix =
case+ pix of _pixmap record => record.w
 
implement {}
pixmap_height pix =
case+ pix of _pixmap record => record.h
 
(*------------------------------------------------------------------*)
1,448

edits