val dest_set : [> `widget ] Gtk.obj -> flags:Gtk.Tags.dest_defaults list -> targets:Gtk.target_entry array -> actions:Gdk.Tags.drag_action list -> unitval dest_unset : [> `widget ] Gtk.obj -> unitval finish : Gdk.drag_context -> success:bool -> del:bool -> time:int32 -> unitval get_data : [> `widget ] Gtk.obj -> Gdk.drag_context -> target:Gdk.atom -> time:int32 -> unitval get_source_widget : Gdk.drag_context -> Gtk.widget Gtk.objval highlight : [> `widget ] Gtk.obj -> unitval unhighlight : [> `widget ] Gtk.obj -> unitval set_icon_widget : Gdk.drag_context -> [> `widget ] Gtk.obj -> hot_x:int -> hot_y:int -> unitval set_icon_default : Gdk.drag_context -> unitval source_set : [> `widget ] Gtk.obj -> ?modi:Gdk.Tags.modifier list -> targets:Gtk.target_entry array -> actions:Gdk.Tags.drag_action list -> unitval source_unset : [> `widget ] Gtk.obj -> unit