Re: [pointerevents] Add deviceProperties.uniqueId to PointerEvent spec (#495) from Anne van Kesteren via GitHub on 2024-05-13 (public-pointer-events@w3.org from April to June 2024)

From: Anne van Kesteren via GitHub <sysbot+gh@w3.org>
Date: Mon, 13 May 2024 09:01:33 +0000
To: public-pointer-events@w3.org
Message-ID: <issue_comment.created-2107028817-1715590891-sysbot+gh@w3.org>

I guess I don't understand what @flackr means with optional there. These wouldn't be supported by everyone?

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


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

Received on Monday, 13 May 2024 09:01:34 UTC