Class Configwin_ihm.list_selection_box

This class builds a frame with a list and three buttons : one to add items, one to move up selected items, and one to remove the selected items. The class takes in parameter a function used to add items and a list ref which is used to store the content of the list. At last, a title for the frame is also in parameter, so that each instance of the class creates a frame.

method box : < box : GBin.event_box; edit_selected : ('a -> 'a) -> unit; get_list_as_rr : GTree.row_reference list; up_selected : unit; update : 'a list -> unit; update_listref : unit; update_row : Gtk.tree_iter -> 'a -> unit; .. > -> GBin.event_box

This method returns the frame created.

method update_row : 'c -> Gtk.tree_iter -> 'a -> unit
method update_listref : 'c -> unit
method update : 'c -> 'a list -> unit
method get_list_as_rr : 'c -> GTree.row_reference list
method up_selected : 'c -> unit

Move up the selected rows.

method edit_selected : 'c -> ('a -> 'a) -> unit

Make the user edit the first selected row.