Class Configwin_ihm.hotkey_param_box


class hotkey_param_box : Configwin_types.hotkey_param -> GData.tooltips -> object .. end
This class is used to build a box for a hot key parameter.

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.