Re: [geolocation-api] List of active times is gone (#113)

> as it is written currently, clearTimeout() would be able to cancel geolocation!

Oh oops, you are right. I'll make sure that's clear - and thankfully no one allows this, even when they pull the IDs from the same timer ID generator, like WebKit does.  

> If you want all of those characteristics, then "run steps after a timeout" is for you.

I think this is what we want, indeed.

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


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

Received on Tuesday, 7 December 2021 06:55:28 UTC