Re: [pointerevents] Add deviceProperties.uniqueId to PointerEvent spec (#495)

I don't feel super strongly either, but there just is the risk that adding more and more device specific properties to the event interface itself will make it eventually rather hard to understand, and using it in cases when relevant devices aren't available may be confusing.

GitHub Notification of comment by smaug----
Please view or discuss this issue at using your GitHub account

Sent via github-notify-ml as configured in

Received on Friday, 17 May 2024 10:05:50 UTC