From 3092184c098c122e8fa249c7f1fa87565fdc6206 Mon Sep 17 00:00:00 2001
From: Grzegorz Kucmierz <gkucmierz@gmail.com>
Date: Sun, 8 Feb 2026 19:09:50 +0100
Subject: [PATCH] Enable automatic PWA refresh on update

---
 src/main.js | 17 +++++++++++++++++
 1 file changed, 17 insertions(+)

diff --git a/src/main.js b/src/main.js
index eddbd03..fcfa41f 100644
--- a/src/main.js
+++ b/src/main.js
@@ -29,3 +29,20 @@ app.use(createPinia())
 app.directive('cell-hover', vCellHover)
 
 app.mount('#app')
+
+if ('serviceWorker' in navigator) {
+  let refreshing = false
+  const triggerReload = () => {
+    if (refreshing) return
+    refreshing = true
+    window.location.reload()
+  }
+  navigator.serviceWorker.addEventListener('controllerchange', triggerReload)
+  const checkForUpdate = () => {
+    navigator.serviceWorker.getRegistration().then((registration) => registration?.update())
+  }
+  window.addEventListener('visibilitychange', () => {
+    if (document.visibilityState === 'visible') checkForUpdate()
+  })
+  window.addEventListener('focus', checkForUpdate)
+}