description

# dragLeaveEvent constant Null safety

EventStreamProvider<MouseEvent> const dragLeaveEvent

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 dragLeaveEvent =
        const EventStreamProvider('dragleave')