external get_source_widget : Gdk.drag_context -> widget obj
      = "ml_gtk_drag_get_source_widget"