Gdk.drag_context ->
object
  val context : Gdk.drag_context
  method context : Gdk.drag_context
  method finish : success:bool -> del:bool -> time:int32 -> unit
  method set_icon_widget : GObj.widget -> hot_x:int -> hot_y:int -> unit
  method source_widget : GObj.widget
  method status : ?time:int32 -> Gdk.Tags.drag_action option -> unit
  method suggested_action : Gdk.Tags.drag_action
  method targets : string list
end