2023-10-01 14:31:00 +03:00
|
|
|
export function registerServiceWorker() {
|
2023-07-17 15:00:40 +03:00
|
|
|
if (!("serviceWorker" in navigator)) {
|
|
|
|
|
throw new Error("No Service Worker support!");
|
|
|
|
|
}
|
2023-10-01 14:31:00 +03:00
|
|
|
navigator.serviceWorker.register("/sw.js");
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
export function requestNotificationPermission() {
|
2023-07-17 15:00:40 +03:00
|
|
|
if (!("PushManager" in window)) {
|
|
|
|
|
throw new Error("No Push API Support!");
|
|
|
|
|
}
|
2023-10-01 14:31:00 +03:00
|
|
|
window.Notification.requestPermission();
|
2023-07-17 15:00:40 +03:00
|
|
|
}
|
|
|
|
|
|
|
|
|
|
export function windowNotificationPermission() {
|
|
|
|
|
return window.Notification.permission
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
export function notificationCount() {
|
|
|
|
|
return this.$matrix.notificationCount
|
|
|
|
|
}
|