[pointerevents] Pull Request: Add deviceId to PointerEvent spec

sahirv has just submitted a new pull request for https://github.com/w3c/pointerevents:

== Add deviceId to PointerEvent spec ==
This change proposes the introduction of a new attribute to the PointerEvent interface - deviceId. See: https://github.com/WICG/pointer-event-extensions/blob/main/pointer-event-device-id-explainer.md

This pull request is expected to make the 4th iteration of the PointerEvent specification.

See https://github.com/w3c/pointerevents/pull/495

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

Received on Thursday, 11 January 2024 21:51:53 UTC