dragEvent constant Null safety
A stream of
drag events fired when an element is currently being dragged.
drag event is added to this stream as soon as the drag begins.
drag event is also added to this stream at intervals while the drag
operation is still ongoing.
static const EventStreamProvider<MouseEvent> dragEvent = const EventStreamProvider<MouseEvent>('drag');