Module Gdk.DnD
val drag_status : drag_context -> Tags.drag_action option -> time:int32 -> unit
val drag_context_suggested_action : drag_context -> Tags.drag_action
val drag_context_targets : drag_context -> atom list
Gdk.DnD
val drag_status : drag_context -> Tags.drag_action option -> time:int32 -> unit
val drag_context_suggested_action : drag_context -> Tags.drag_action
val drag_context_targets : drag_context -> atom list