GFileSourceThe new file chooser widget
val filter :
?name:string ->
?patterns:string list ->
?mime_types:string list ->
unit ->
filter@gtkdoc gtk gtk-gtkfilefilter
class chooser_widget_signals : ([> Gtk.widget | Gtk.file_chooser ] as 'a) Gtk.obj -> object ... endval chooser_widget :
action:Gtk.Tags.file_chooser_action ->
?filename:string ->
?packing:(GObj.widget -> unit) ->
?show:bool ->
unit ->
chooser_widget@gtkdoc gtk GtkFileChooserWidget
class chooser_button_signals : ([> Gtk.container | `filechooser ] as 'a) Gtk.obj -> object ... endval chooser_button :
action:Gtk.Tags.file_chooser_action ->
?title:string ->
?width_chars:int ->
?filename:string ->
?border_width:int ->
?width:int ->
?height:int ->
?packing:(GObj.widget -> unit) ->
?show:bool ->
unit ->
chooser_button