external add_events : [>`widget] obj -> Gdk.Tags.event_mask list -> unit = "ml_gtk_widget_add_events"