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