- From: Sahir Vellani via GitHub <sysbot+gh@w3.org>
- Date: Thu, 11 Jan 2024 21:51:52 +0000
- To: public-pointer-events@w3.org
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