Module GtkMain.Event
val get_current_time : unit -> int32val get_current : unit -> GdkEvent.anyval get_widget : 'a Gdk.event -> Gtk.widget Gtk.objval propagate : [> `widget ] Gtk.obj -> 'a Gdk.event -> unit
GtkMain.Eventval get_current_time : unit -> int32val get_current : unit -> GdkEvent.anyval get_widget : 'a Gdk.event -> Gtk.widget Gtk.objval propagate : [> `widget ] Gtk.obj -> 'a Gdk.event -> unit