Re: [push-api] Can you change the value of PushSubscriptionOptions (#183)

I slightly prefer <code>InvalidStateError</code>, as <code>NoModificationAllowedError</code> ties us closer to the one subscription per registration model.

There is a very small chance that this would break existing functionality. But really currently it's only the <code>userVisibleOnly</code> boolean so maybe it's best that we change this behavior before the really interesting stuff is added to <code>PushSubscriptionOptions</code>.

---
Reply to this email directly or view it on GitHub:
https://github.com/w3c/push-api/issues/183#issuecomment-181416981