external set_delay : [>`tooltips] obj -> int -> unit
      = "ml_gtk_tooltips_set_delay"