external trigger_query : [>`widget] obj -> unit
      = "ml_gtk_widget_trigger_tooltip_query"