dragLeaveEvent constant

EventStreamProvider<MouseEvent> const 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.

Implementation 

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