helm/DEVEL/lablgtk/lablgtk_20000829-0.1.0/examples/radiobuttons.ml

   1 (* $Id$ *)
   2
   3 open GMain
   4
   5 let main () =
   6
   7   let window = GWindow.window ~title: "radio buttons" ~border_width: 0 () in
   8   window#connect#destroy ~callback:Main.quit;
   9
  10   let box1 = GPack.vbox ~packing: window#add () in
  11
  12   let box2 = GPack.vbox ~spacing:10 ~border_width: 10 ~packing: box1#add () in
  13
  14   let button1 = GButton.radio_button ~label:"button1" ~packing: box2#add () in
  15   button1#connect#clicked ~callback:(fun () -> prerr_endline "button1");
  16
  17   let button2 = GButton.radio_button ~group:button1#group ~label:"button2"
  18       ~active:true ~packing: box2#add () in
  19   button2#connect#clicked ~callback:(fun () -> prerr_endline "button2");
  20
  21   let button3 = GButton.radio_button
  22       ~group:button1#group ~label:"button3" ~packing: box2#add () in
  23   button3#connect#clicked ~callback:(fun () -> prerr_endline "button3");
  24
  25   let separator =
  26     GMisc.separator `HORIZONTAL ~packing: box1#pack () in
  27
  28   let box3 = GPack.vbox ~spacing: 10 ~border_width: 10
  29       ~packing: box1#pack () in
  30
  31   let button = GButton.button ~label: "close" ~packing: box3#add () in
  32   button#connect#clicked ~callback:Main.quit;
  33   button#grab_default ();
  34
  35   window#show ();
  36
  37   Main.main ()
  38
  39 let _ = main ()