external propagate : [> `widget] obj -> 'Gdk.event -> unit
    = "ml_gtk_propagate_event"