]> matita.cs.unibo.it Git - helm.git/blob - helm/DEVEL/lablgtk/lablgtk_20000829-0.1.0/examples/scrolledwin.ml
"Final" commit that patches termViewer while still enabling XML Diffing.
[helm.git] / helm / DEVEL / lablgtk / lablgtk_20000829-0.1.0 / examples / scrolledwin.ml
1 (* $Id$ *)
2
3 open GMain
4
5 let main () =
6   let window = GWindow.dialog ~title: "dialog"
7       ~border_width: 10 ~width: 300 ~height: 300 () in
8   window#connect#destroy ~callback:Main.quit;
9
10   let scrolled_window = GBin.scrolled_window
11       ~border_width: 10 ~hpolicy: `AUTOMATIC ~packing: window#vbox#add ()
12   in
13
14   let table = GPack.table ~rows:10 ~columns:10
15       ~row_spacings: 10 ~col_spacings: 10
16       ~packing: scrolled_window#add_with_viewport ()
17   in
18
19   for i = 0 to 9 do
20     for j = 0 to 9 do
21       let label = Printf.sprintf "button (%d,%d)\n" i j in
22       GButton.toggle_button ~label
23         ~packing:(table#attach ~left: i ~top: j ~expand: `BOTH) ()
24     done
25   done;
26
27   let button =
28     GButton.button ~label: "close" ~packing: window#action_area#add () in
29   button#connect#clicked ~callback: Main.quit;
30   button#grab_default ();
31   window#show ();
32   Main.main ()
33
34 let _ = main ()
35