EventStreamProvider<MouseEvent> dragLeaveEvent = const EventStreamProvider<MouseEvent>('dragleave')

A stream of dragleave events fired when an object being dragged over an element leaves the element's target area.

Other resources

Drag and drop sample based on the tutorial from HTML5Rocks. Drag and drop specification from WHATWG.