external source_unset : [>`widget] obj -> unit
      = "ml_gtk_drag_source_unset"