A stream of dragleave events fired when an object being dragged over this
element leaves this element's target area.
Other resources
- Drag and drop sample based on the tutorial from HTML5Rocks.
- Drag and drop specification from WHATWG.
Source
@DomName('Element.ondragleave')
@DocsEditable()
ElementStream<MouseEvent> get onDragLeave;