class html_param_box : 'a Configwin_types.string_param -> GData.tooltips -> object .. end
'a Configwin_types.string_param -> GData.tooltips ->
object
end
Configwin_ihm.text_param_box
method private exec : string -> string -> unit -> unit
string -> string -> unit -> unit