external
get_current : unit
->
GdkEvent
.any
=
"ml_gtk_get_current_event"