module DnD: sig .. end
val dest_set : [> `widget ] Gtk.obj ->
flags:Gtk.Tags.dest_defaults list ->
targets:Gtk.target_entry array -> actions:Gdk.Tags.drag_action list -> unit
val dest_unset : [> `widget ] Gtk.obj -> unit
val finish : Gdk.drag_context -> success:bool -> del:bool -> time:int32 -> unit
val get_data : [> `widget ] Gtk.obj ->
Gdk.drag_context -> target:Gdk.atom -> time:int32 -> unit
val get_source_widget : Gdk.drag_context -> Gtk.widget Gtk.obj
val highlight : [> `widget ] Gtk.obj -> unit
val unhighlight : [> `widget ] Gtk.obj -> unit
val set_icon_widget : Gdk.drag_context -> [> `widget ] Gtk.obj -> hot_x:int -> hot_y:int -> unit
val set_icon_pixmap : Gdk.drag_context ->
colormap:Gdk.colormap ->
Gdk.pixmap -> ?mask:Gdk.bitmap -> hot_x:int -> hot_y:int -> unit
val set_icon_default : Gdk.drag_context -> unit
val set_default_icon : colormap:Gdk.colormap ->
Gdk.pixmap -> ?mask:Gdk.bitmap -> hot_x:int -> hot_y:int -> unit
val source_set : [> `widget ] Gtk.obj ->
?modi:Gdk.Tags.modifier list ->
targets:Gtk.target_entry array -> actions:Gdk.Tags.drag_action list -> unit
val source_set_icon : [> `widget ] Gtk.obj ->
colormap:Gdk.colormap -> Gdk.pixmap -> ?mask:Gdk.bitmap -> unit
val source_unset : [> `widget ] Gtk.obj -> unit