method after : < after : 'a
; beginning : callback:(drag_context -> unit) -> GtkSignal.id
; data_delete : callback:(drag_context -> unit) -> GtkSignal.id
; data_get :
callback:
(drag_context -> selection_context -> info:int -> time:int32 -> unit) ->
GtkSignal.id
; data_received :
callback:
(drag_context ->
x:int ->
y:int ->
selection_data ->
info:int ->
time:int32 ->
unit) ->
GtkSignal.id
; drop :
callback:(drag_context -> x:int -> y:int -> time:int32 -> bool) ->
GtkSignal.id
; ending : callback:(drag_context -> unit) -> GtkSignal.id
; leave : callback:(drag_context -> time:int32 -> unit) -> GtkSignal.id
; motion :
callback:(drag_context -> x:int -> y:int -> time:int32 -> bool) ->
GtkSignal.id.. > as 'amethod 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