onDragEnd property
A stream of dragend events fired when this element completes a drag
operation.
Other resources
Drag and drop sample based on the tutorial from HTML5Rocks. Drag and drop specification from WHATWG.
Implementation
ElementStream<MouseEvent> get onDragEnd;