w3c / geolocation

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

Editorial: Update use of WebIDL "invoke a callback function" #172

Closed jeremyroman closed 1 month ago

jeremyroman commented 1 month ago

This algorithm can now handle the need to report an exception thrown by the callback. Some small tweaks are made for consistency with other specifications.

Part of whatwg/webidl#1425.

The following tasks have been completed:

Implementation commitment (and no objections): n/a (non-normative change)

Documentation (new feature): n/a (non-normative change)


Preview | Diff

jeremyroman commented 1 month ago

@reillyeon ptal?

jeremyroman commented 1 month ago

I don't believe I have merge access; could you merge this for me?