`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`