]> matita.cs.unibo.it Git - helm.git/blob - helm/DEVEL/lablgtk/lablgtk_20000829-0.1.0/examples/calendar.ml
* new semantics with 2 continuations
[helm.git] / helm / DEVEL / lablgtk / lablgtk_20000829-0.1.0 / examples / calendar.ml
1 (* $Id$ *)
2
3 open GMain
4
5 let main () =
6   let window = GWindow.window () in
7   window#connect#destroy ~callback:Main.quit;
8
9   let calendar = GMisc.calendar ~packing:window#add () in
10   calendar#connect#day_selected ~callback:
11     begin fun () ->
12       let (year,month,day) = calendar#date in
13       Printf.printf "You selected %d/%d/%02d.\n"
14         day (month+1) (year mod 100);
15       flush stdout
16     end;
17
18   window#show ();
19   Main.main ()
20
21 let _ = main ()