class drag_ops : Gtk.widget Gtk.obj -> object .. end
GTK documentation: gtk-Drag-and-Drop
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_set_icon : ?colormap:Gdk.colormap -> GDraw.pixmap -> unit
method source_unset : unit -> unit
method unhighlight : unit -> unit