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 https://github.com/w3c/pointerevents/pull/495#issuecomment-2117210858 using your GitHub account


-- 
Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config

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