/// <summary> /// Called when the user has toggled push notifications on/off. Negotiates with /// the MusicPimp servers to register/deregister a push notification URI. /// /// If enabling succeeds, the enabled value is saved. However, when disabling, /// the disabled value is stored regardless of success. We can always kill the /// notification channel locally, therefore disabling always succeeds to a sufficient /// degree. /// </summary> /// <param name="toggleValue"></param> private async void ToggleChanged(bool toggleValue) { await WebAware(async() => { if (toggleValue) { await SubscribeToPush(); } else { try { if (Endpoint != null) { await UnsubscribeFromPush(Endpoint); } } finally { Push.Close(); } } }); LoadingText = DefaultLoadingText; }