Class Configwin_ihm.list_param_box


class ['a] list_param_box : 'a Configwin_types.list_param -> GData.tooltips -> object .. end
This class is used to build a box for a parameter whose values are a list.

method box : GObj.widget
This method returns the main box ready to be packed.
method apply : unit
This method applies the new value of the parameter.