`sig
external dest_set :
[> `widget ] Gtk.obj ->
flags:Gtk.Tags.dest_defaults list ->
targets:Gtk.target_entry array ->
actions:Gdk.Tags.drag_action list -> unit = "ml_gtk_drag_dest_set"
external dest_unset : [> `widget ] Gtk.obj -> unit
= "ml_gtk_drag_dest_unset"
external finish :
Gdk.drag_context -> success:bool -> del:bool -> time:int32 -> unit
= "ml_gtk_drag_finish"
external get_data :
[> `widget ] Gtk.obj ->
Gdk.drag_context -> target:Gdk.atom -> time:int32 -> unit
= "ml_gtk_drag_get_data"
external get_source_widget : Gdk.drag_context -> Gtk.widget Gtk.obj
= "ml_gtk_drag_get_source_widget"
external highlight : [> `widget ] Gtk.obj -> unit = "ml_gtk_drag_highlight"
external unhighlight : [> `widget ] Gtk.obj -> unit
= "ml_gtk_drag_unhighlight"
external set_icon_widget :
Gdk.drag_context ->
[> `widget ] Gtk.obj -> hot_x:int -> hot_y:int -> unit
= "ml_gtk_drag_set_icon_widget"
external set_icon_pixmap :
Gdk.drag_context ->
colormap:Gdk.colormap ->
Gdk.pixmap -> ?mask:Gdk.bitmap -> hot_x:int -> hot_y:int -> unit
= "ml_gtk_drag_set_icon_pixmap_bc" "ml_gtk_drag_set_icon_pixmap"
external set_icon_default : Gdk.drag_context -> unit
= "ml_gtk_drag_set_icon_default"
external set_default_icon :
colormap:Gdk.colormap ->
Gdk.pixmap -> ?mask:Gdk.bitmap -> hot_x:int -> hot_y:int -> unit
= "ml_gtk_drag_set_default_icon"
external source_set :
[> `widget ] Gtk.obj ->
?modi:Gdk.Tags.modifier list ->
targets:Gtk.target_entry array ->
actions:Gdk.Tags.drag_action list -> unit = "ml_gtk_drag_source_set"
external source_set_icon :
[> `widget ] Gtk.obj ->
colormap:Gdk.colormap -> Gdk.pixmap -> ?mask:Gdk.bitmap -> unit
= "ml_gtk_drag_source_set_icon"
external source_unset : [> `widget ] Gtk.obj -> unit
= "ml_gtk_drag_source_unset"
end`