class drag_ops : Gtk.widget Gtk.obj ->
object
.. end
method connect : drag_signals
method dest_set : ?flags:Gtk.Tags.dest_defaults list ->
?actions:Gdk.Tags.drag_action list -> Gtk.target_entry list -> unit
method dest_unset : unit -> unit
method get_data : target:string -> ?time:int32 -> drag_context -> unit
method highlight : unit -> unit
method source_set : ?modi:Gdk.Tags.modifier list ->
?actions:Gdk.Tags.drag_action list -> Gtk.target_entry list -> unit
method source_unset : unit -> unit
method unhighlight : unit -> unit