class filename_param_box : 'a Configwin_types.string_param -> GData.tooltips -> object .. end
'a Configwin_types.string_param -> GData.tooltips ->
object
end
method box : GObj.widget
GObj.widget
method apply : unit
unit