From 72e8f4798900f1eba07d22374f8e360d48e16629 Mon Sep 17 00:00:00 2001
From: teahubxyz <boring+teahub@agentmail.to>
Date: Tue, 20 Oct 2026 03:51:53 +0000
Subject: [PATCH] Havre: the reload link reloads, again (a refresh run had
 reverted it)

Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01VAvUH72XsdCitHdh3t7mjr
---
 ventures/havre/theme.js | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/ventures/havre/theme.js b/ventures/havre/theme.js
index b87bcc2..7ca9f98 100644
--- a/ventures/havre/theme.js
+++ b/ventures/havre/theme.js
@@ -15,5 +15,8 @@
     apply();
     var b = document.getElementById("theme");
     if (b) b.addEventListener("click", function () { try { localStorage.setItem(K, dark() ? "light" : "dark"); } catch (e) { /* this time only */ } apply(); });
+    // installed as an app there's no address bar and no pull to refresh: this is the way to the latest Havre
+    var r = document.getElementById("reload");
+    if (r) r.addEventListener("click", function () { r.textContent = "reloading…"; location.reload(); });
   });
 })();