man GObj.drag_context () - no description
NAME
GObj.drag_context - no description
Class
Class GObj.drag_context
Documentation
class drag_context : Gdk.drag_context -> object end
Parameters:
- ""
Gdk.drag_context
val context : Gdk.drag_context
method context : Gdk.drag_context
method finish : success:bool -> del:bool -> time:int32 -> unit
method source_widget : GObj.widget
method set_icon_pixmap : ?colormap:Gdk.colormap -> GDraw.pixmap -> hot_x:int -> hot_y:int -> unit
method set_icon_widget : GObj.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