external dest_unset : [>`widget] obj -> unit
      = "ml_gtk_drag_dest_unset"