]> matita.cs.unibo.it Git - helm.git/blob - helm/DEVEL/lablgtk/lablgtk_20000829-0.1.0/applications/browser/file.ml
rebuilt
[helm.git] / helm / DEVEL / lablgtk / lablgtk_20000829-0.1.0 / applications / browser / file.ml
1 (* $Id$ *)
2
3 let dialog ~title ~callback ?filename () =
4   let sel =
5     GWindow.file_selection ~title ~modal:true ?filename () in
6   sel#cancel_button#connect#clicked ~callback:sel#destroy;
7   sel#ok_button#connect#clicked ~callback:
8     begin fun () ->
9       let name = sel#get_filename in
10       sel#destroy ();
11       callback name
12     end;
13   sel#show ()