X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2FDEVEL%2Flablgtk%2Flablgtk_20000829-0.1.0%2Fexamples%2Ftestinput.ml;fp=helm%2FDEVEL%2Flablgtk%2Flablgtk_20000829-0.1.0%2Fexamples%2Ftestinput.ml;h=a6aceb8257d2028a551769a5eb01189846a243e2;hb=2ee84a2a641938988703e329aef9fc3c5eb5aacf;hp=0000000000000000000000000000000000000000;hpb=34d83812af9b7064cc8f735c2a78169881140010;p=helm.git diff --git a/helm/DEVEL/lablgtk/lablgtk_20000829-0.1.0/examples/testinput.ml b/helm/DEVEL/lablgtk/lablgtk_20000829-0.1.0/examples/testinput.ml new file mode 100644 index 000000000..a6aceb825 --- /dev/null +++ b/helm/DEVEL/lablgtk/lablgtk_20000829-0.1.0/examples/testinput.ml @@ -0,0 +1,43 @@ +(* $Id$ *) + +open GMain + +let main () = + let window = GWindow.window () in + window#misc#set_name "Test input"; + window#connect#destroy ~callback:Main.quit; + + let vbox = GPack.vbox ~packing:window#add () in + + let drawing_area = + GMisc.drawing_area ~width:200 ~height:200 ~packing:vbox#add () in + + drawing_area#event#connect#key_press ~callback: + begin fun ev -> + let key = GdkEvent.Key.keyval ev in + if key >= 32 && key < 256 then + Printf.printf "I got a %c\n" (Char.chr key) + else + print_string "I got another key\n"; + flush stdout; + true + end; + + drawing_area#event#add + [`EXPOSURE;`LEAVE_NOTIFY;`BUTTON_PRESS; + `POINTER_MOTION;`POINTER_MOTION_HINT;`PROXIMITY_OUT]; + drawing_area#event#set_extensions `ALL; + drawing_area#misc#set_can_focus true; + drawing_area#misc#grab_focus (); + + GButton.button ~label:"Input Dialog" ~packing:vbox#pack (); + + let button = + GButton.button ~label:"Quit" ~packing:vbox#pack () in + + button#connect#clicked ~callback:window#destroy; + + window#show (); + Main.main () + +let _ = main ()