# 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')