// Web Push handling, imported into the generated service worker (workbox importScripts). self.addEventListener("push", (event) => { let data = {}; try { data = event.data ? event.data.json() : {}; } catch { data = { body: event.data ? event.data.text() : "" }; } const title = data.title || "CodeCraft"; const prefix = { permission: "🔐 ", question: "❓ ", done: "✅ " }[data.kind] || ""; event.waitUntil( self.registration.showNotification(prefix + title, { body: data.kind === "done" ? data.body || "Finished" : data.body || "", tag: data.tag || "codecraft", renotify: true, icon: "/icon-192.png", badge: "/icon-192.png", data: { url: data.url || "/" }, }), ); }); self.addEventListener("notificationclick", (event) => { event.notification.close(); const url = new URL((event.notification.data && event.notification.data.url) || "/", self.location.origin).href; event.waitUntil( self.clients.matchAll({ type: "window", includeUncontrolled: true }).then((list) => { for (const client of list) { if (new URL(client.url).origin === self.location.origin) { return client.focus().then((c) => (c && "navigate" in c ? c.navigate(url) : c)); } } return self.clients.openWindow(url); }), ); });