type gr_list =
{ li_window : gr_window
; mutable li_left : int
; mutable li_top : int
; mutable li_width : int
; mutable li_height : int
; mutable li_nu_item : int
; mutable li_1st_item : int
; mutable li_items : string vect
; mutable li_callback : gr_list -> event -> bool
; mutable li_scroll : int
}
;;
The list is a string list. One string is selected
(surrounded), and a scrollbar is used to shift the displayed part.The variables in the type gr_list are:
gr_draw_list : gr_list -> unit
gr_list_managed : gr_list -> event -> bool
gr_list_add_item : gr_list -> string -> int -> unit
gr_list_del_item : gr_list -> int -> unit
gr_list_sort : gr_list -> unit