RFR: 8365635: Add MOUSE_DRAG_DONE event type [v2]

[Kevin Rushforth]

On Wed, 1 Oct 2025 14:46:08 GMT, Nir Lisker <nlisker at openjdk.org> wrote:

>>> I have a future docs change in the works around mouse events that clears up a lot of things.
>> 
>> Is it going to be a separate PR or a part of this one?
>
>> > I have a future docs change in the works around mouse events that clears up a lot of things.
>> 
>> Is it going to be a separate PR or a part of this one?
> 
> Separate. It will encompass mouse events and drag events, though I hit an obstacle with testing touch events.

@nlisker I'll review the CSR after you've updated the spec to match the latest doc changes.

-------------

PR Comment: https://git.openjdk.org/jfx/pull/1873#issuecomment-3397279280