X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Flablgtk%2Flablgtk_20000829-0.1.0%2Fexamples%2Fevents.ml;fp=helm%2FDEVEL%2Flablgtk%2Flablgtk_20000829-0.1.0%2Fexamples%2Fevents.ml;h=91a9872afd4a5fcb8cbb58a336e0b294d46e12a4;hb=2ee84a2a641938988703e329aef9fc3c5eb5aacf;hp=0000000000000000000000000000000000000000;hpb=34d83812af9b7064cc8f735c2a78169881140010;p=helm.git diff --git a/helm/DEVEL/lablgtk/lablgtk_20000829-0.1.0/examples/events.ml b/helm/DEVEL/lablgtk/lablgtk_20000829-0.1.0/examples/events.ml new file mode 100644 index 000000000..91a9872af --- /dev/null +++ b/helm/DEVEL/lablgtk/lablgtk_20000829-0.1.0/examples/events.ml @@ -0,0 +1,25 @@ +(* $Id$ *) + +open GMain + +let _ = + let window = GWindow.window () in + window#connect#destroy ~callback:Main.quit; + + let text = GEdit.text ~editable:true ~packing:window#add () in + text#event#connect#button_press ~callback: + begin fun ev -> + GdkEvent.Button.button ev = 3 && + GdkEvent.get_type ev = `BUTTON_PRESS && + begin + let pos = text#position in + GdkEvent.Button.set_button ev 1; + text#event#send (GdkEvent.coerce ev); + Printf.printf "Position is %d.\n" text#position; + flush stdout; + text#set_position pos; + true + end + end; + window#show (); + Main.main ()