X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Flablgtk%2Flablgtk_20001129-0.1.0%2Fexamples%2Fscrolledwin.ml;fp=helm%2FDEVEL%2Flablgtk%2Flablgtk_20001129-0.1.0%2Fexamples%2Fscrolledwin.ml;h=8f4bee21ed2f0092d754c41671c252c9d0c349e9;hb=7aa91a2cd4497f68ebf5b9dd85b5f2c791f738a1;hp=0000000000000000000000000000000000000000;hpb=044a71416237d8e2b575678b5f49b8c9380ca409;p=helm.git diff --git a/helm/DEVEL/lablgtk/lablgtk_20001129-0.1.0/examples/scrolledwin.ml b/helm/DEVEL/lablgtk/lablgtk_20001129-0.1.0/examples/scrolledwin.ml new file mode 100644 index 000000000..8f4bee21e --- /dev/null +++ b/helm/DEVEL/lablgtk/lablgtk_20001129-0.1.0/examples/scrolledwin.ml @@ -0,0 +1,35 @@ +(* $Id$ *) + +open GMain + +let main () = + let window = GWindow.dialog ~title: "dialog" + ~border_width: 10 ~width: 300 ~height: 300 () in + window#connect#destroy ~callback:Main.quit; + + let scrolled_window = GBin.scrolled_window + ~border_width: 10 ~hpolicy: `AUTOMATIC ~packing: window#vbox#add () + in + + let table = GPack.table ~rows:10 ~columns:10 + ~row_spacings: 10 ~col_spacings: 10 + ~packing: scrolled_window#add_with_viewport () + in + + for i = 0 to 9 do + for j = 0 to 9 do + let label = Printf.sprintf "button (%d,%d)\n" i j in + GButton.toggle_button ~label + ~packing:(table#attach ~left: i ~top: j ~expand: `BOTH) () + done + done; + + let button = + GButton.button ~label: "close" ~packing: window#action_area#add () in + button#connect#clicked ~callback: Main.quit; + button#grab_default (); + window#show (); + Main.main () + +let _ = main () +