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