- From: Robert Flack via GitHub <sysbot+gh@w3.org>
- Date: Tue, 27 Feb 2024 18:16:31 +0000
- To: public-pointer-events@w3.org
One more question, is `deviceProperties.deviceId` a bit redundant? Should it just be something like `deviceProperties.identifier` or `deviceProperties.id` or would this be too confusing? -- GitHub Notification of comment by flackr Please view or discuss this issue at https://github.com/w3c/pointerevents/issues/353#issuecomment-1967332824 using your GitHub account -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Tuesday, 27 February 2024 18:16:32 UTC