external event : [>`widget] obj -> 'Gdk.event -> bool
      = "ml_gtk_widget_event"