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