Class type Gtk_helper.source_files_chooser_host

class type source_files_chooser_host = object .. end
Inherits
method main_window : GWindow.window_skel
method reset : unit -> unit