The new file chooser widget
class filter : [> Gtk.file_filter ] as 'a Gtk.obj -> object ... endval filter :
?name:string ->
?patterns:string list ->
?mime_types:string list ->
unit ->
filter@gtkdoc gtk gtk-gtkfilefilter
class type chooser_signals = object ... endclass type chooser = object ... endclass chooser_widget_signals : [> Gtk.widget | Gtk.file_chooser ] as 'a Gtk.obj -> object ... endclass chooser_widget : [> 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 ... endclass chooser_button : [> Gtk.file_chooser_button ] 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