@gtkdoc gtk gtk-Drag-and-Drop
method beginning : callback:(drag_context -> unit) -> GtkSignal.idmethod data_delete : callback:(drag_context -> unit) -> GtkSignal.idmethod data_get : callback:
(drag_context ->
selection_context ->
info:int ->
time:int32 ->
unit) ->
GtkSignal.idmethod data_received : callback:
(drag_context ->
x:int ->
y:int ->
selection_data ->
info:int ->
time:int32 ->
unit) ->
GtkSignal.idmethod drop : callback:(drag_context -> x:int -> y:int -> time:int32 -> bool) ->
GtkSignal.idmethod ending : callback:(drag_context -> unit) -> GtkSignal.idmethod leave : callback:(drag_context -> time:int32 -> unit) -> GtkSignal.idmethod motion : callback:(drag_context -> x:int -> y:int -> time:int32 -> bool) ->
GtkSignal.id