- Notifications
You must be signed in to change notification settings - Fork 159
Fix #184: Add support for the Push API #189
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Conversation
| Question wrt Push API methods in ServiceWorker. Once ServiceWorkers are moved into experimental, should developers still be required to import push package implicits to access fields like |
| In general, users should enable experimental features per api, rather than as a whole. For example, ServiceWorkers are supported by Opera, but the Push API is not. |
| Thanks a lot for the feedback! I'll get to work tweaking things. |
31f93a4 to c24cdd1 Compare | Question: It seems you could offer additional safety by using an enum, but I couldn't find an example in the code and there doesn't seem to be any reference to such things here: |
| scala-js-dom/src/main/scala/org/scalajs/dom/crypto/Crypto.scala Lines 872 to 887 in 87ab4d7
|
6e60681 to de9b12d Compare | Thanks. |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Optional parameter, so declare the parameters here as (options: PushSubscriptionOptions = js.native)
| That's all from my end. If you change the commit message to "Fix #184: Add support for the Push API", the related issue will automatically close on merge. |
de9b12d to e65f2bd Compare | LGTM, thanks! @sjrd will take it from here. |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
This should probably be a val
| That's all. |
I did not include any of the following: * Any item marked deprecated in MDN.
e65f2bd to 3e3c275 Compare | LGTM |
Fix #184: Add support for the Push API
I did not include any of the following: