public virtual signal void drag_leave (DragContext context, uint time_)
The drag_leave signal is emitted on the drop site when the cursor leaves the widget.
A typical reason to connect to this signal is to undo things done in drag_motion, e.g. undo highlighting with drag_unhighlight.
Likewise, the drag_leave signal is also emitted before the drag_drop signal, for instance to allow cleaning up of a preview item created in the drag_motion signal handler.
the drag context
the timestamp of the motion event