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