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

I'm not sure how it changed from since I last commented? I suspect you need to figure out what changes to event construction this requires, but it's prolly doable. It still strikes me as quite a bit of complexity for what is essentially expressible through a getter (and multiple thereof in the future).

-- 
GitHub Notification of comment by annevk
Please view or discuss this issue at https://github.com/w3c/pointerevents/pull/495#issuecomment-2129047953 using your GitHub account


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

Received on Friday, 24 May 2024 09:19:54 UTC