w3c / geolocation

W3C Geolocation API
https://www.w3.org/TR/geolocation/
81 stars 56 forks source link

Editorial: make use of HTML's page visibility change steps #110

Closed marcoscaceres closed 2 years ago

marcoscaceres commented 2 years ago

@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?


Preview | Diff

noamr commented 2 years ago

@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?

Yea maybe that's unnecessary. In any case I see that step as temporary, the direction is that specs, especially mature ones, would make direct calls from that place rather than rely on a "hook".

marcoscaceres commented 2 years ago

@noamr, ok. I'm going to merge this for now and follow up on the HTML.

I filed: https://github.com/whatwg/html/issues/7362