+(* let model, _, _, dev, _,_ = tree in
+ let row = model#get_iter (fst path0) in
+ let dir = get_pathname tree row in*)
+
+ let title = "Choose output file" in
+ let dlg = GWindow.file_chooser_dialog ~action:`SAVE ~title ~modal:true () in
+
+ (* Notify that the list of strings is \0 separated. *)
+ let hbox =
+ let hbox = GPack.hbox () in
+ ignore (GMisc.image ~stock:`INFO ~packing:hbox#pack ());
+ let label = GMisc.label ~text:"The list of filenames is saved to a file with zero byte separators, to allow the full range of characters to be used in the names themselves." ~packing:hbox#pack () in
+ label#set_line_wrap true;
+ hbox in
+ dlg#set_extra_widget (hbox :> GObj.widget);
+
+ dlg#show ()