external set_button : t -> int -> unit
      = "ml_gdk_event_button_set_button"