[geolocation-api] Pull Request: Editorial: make use of HTML's page visibility change steps

marcoscaceres has just submitted a new pull request for https://github.com/w3c/geolocation-api:

== Editorial: make use of HTML's page visibility change steps ==
@noamr, r? 

Noam, can you sanity check something for me... in the HTML spec, it's not really clear why the [=page visibility change steps=] take the first argument ("visible", for instance)... at least, they don't seem to be used in the steps themselves or am I missing something?  

 

See https://github.com/w3c/geolocation-api/pull/110


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

Received on Thursday, 18 November 2021 07:22:22 UTC