Bitmap: Difference between revisions
→The ATS dynamic file
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
(*------------------------------------------------------------------*)
|