external
get_widget :
'
a
Gdk
.event
->
widget obj
=
"ml_gtk_get_event_widget"