Gtk.widget Gtk.obj ->
object ('a)
  method after : 'a
  method beginning : callback:(GObj.drag_context -> unit) -> GtkSignal.id
  method data_delete : callback:(GObj.drag_context -> unit) -> GtkSignal.id
  method data_get :
    callback:(GObj.drag_context ->
              GObj.selection_context -> info:int -> time:int32 -> unit) ->
    GtkSignal.id
  method data_received :
    callback:(GObj.drag_context ->
              x:int ->
              y:int -> GObj.selection_data -> info:int -> time:int32 -> unit) ->
    GtkSignal.id
  method drop :
    callback:(GObj.drag_context -> x:int -> y:int -> time:int32 -> bool) ->
    GtkSignal.id
  method ending : callback:(GObj.drag_context -> unit) -> GtkSignal.id
  method leave :
    callback:(GObj.drag_context -> time:int32 -> unit) -> GtkSignal.id
  method motion :
    callback:(GObj.drag_context -> x:int -> y:int -> time:int32 -> bool) ->
    GtkSignal.id
end