Module GtkFile.FileFilter
val create : unit -> Gtk.file_filter Gtk.objval set_name : [> Gtk.file_filter ] Gtk.obj -> string -> unitval get_name : [> Gtk.file_filter ] Gtk.obj -> stringval add_mime_type : [> Gtk.file_filter ] Gtk.obj -> string -> unitval add_pattern : [> Gtk.file_filter ] Gtk.obj -> string -> unitval add_custom : [> Gtk.file_filter ] Gtk.obj -> GtkEnums.file_filter_flags list -> callback:((GtkEnums.file_filter_flags * string) list -> bool) -> unit