sig
  val get_current_time : unit -> int32
  val get_current : unit -> GdkEvent.any
  val get_widget : 'a Gdk.event -> Gtk.widget Gtk.obj
  val propagate : [> `widget ] Gtk.obj -> 'a Gdk.event -> unit
end