- From: Sahir Vellani via GitHub <sysbot+gh@w3.org>
- Date: Tue, 27 Feb 2024 20:43:51 +0000
- To: public-pointer-events@w3.org
I don't mind `deviceProperties.id` or `deviceProperties.uniqueId`. `id` works since we already know it's a property of the device. Likewise `uniqueId` is great as well, and is my main preference. -- GitHub Notification of comment by sahirv Please view or discuss this issue at https://github.com/w3c/pointerevents/issues/353#issuecomment-1967557278 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 20:43:52 UTC