Class Configwin_ihm.list_selection_box


class ['a] list_selection_box : 'a list Pervasives.ref -> string list option -> string option -> ('a -> 'a) option -> ('a -> string list) -> ('a -> string option) -> ('a -> 'a -> bool) -> (unit -> 'a list) -> string -> bool -> GData.tooltips -> object .. end
This class builds a frame with a clist and two buttons : one to add items and one to remove the selected items. The class takes in parameter a function used to add items and a string list ref which is used to store the content of the clist. At last, a title for the frame is also in parameter, so that each instance of the class creates a frame.

val mutable list_select : int list
the list of selected rows
method box : GBin.event_box
This method returns the frame created.
method update : 'a list -> unit
method up_selected : unit
Move up the selected rows.
method edit_selected : ('a -> 'a) -> unit
Make the user edit the first selected row.