type gr_area =
{ ar_window : gr_window
; mutable ar_left : int
; mutable ar_top : int
; mutable ar_width : int
; mutable ar_height : int
; mutable ar_name : string
}
;;
The area objects are rectangles with a title at the top right. They are
useful to visualy group objects together.
The area variables are:
- the attached window (ar_window),
- the lower left corner's coordinates (ar_left, ar_top),
- the sizes (ar_width, ar_height),
- the title (ar_name).
The only related function is:
- gr_draw_area : gr_area -> unit
- gr_draw_area Area draws the area Area.