Re: [geolocation-api] errorCallback parameter to getPosition() and watchPosition() is nullable in all major browser engines (#61) from Reilly Grant via GitHub on 2020-11-20 (public-device-apis-log@w3.org from November 2020)

From: Reilly Grant via GitHub <sysbot+gh@w3.org>
Date: Fri, 20 Nov 2020 19:32:02 +0000
To: public-device-apis-log@w3.org
Message-ID: <issue_comment.created-731366389-1605900721-sysbot+gh@w3.org>

Thanks for pointing this out. My knowledge of WebIDL always feels lacking but it seems invalid to have an optional callback argument which isn't nullable.

-- 
GitHub Notification of comment by reillyeon
Please view or discuss this issue at https://github.com/w3c/geolocation-api/issues/61#issuecomment-731366389 using your GitHub account


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

Received on Friday, 20 November 2020 19:32:04 UTC