From ead3e1459b00b6e22f3037a7d2be7743e4a3ddb6 Mon Sep 17 00:00:00 2001
From: Stefan Peters <Stefan.Peters@gbv.de>
Date: Thu, 8 Aug 2024 11:25:22 +0200
Subject: [PATCH] Fix small issue with browser history

---
 src/App.vue | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/App.vue b/src/App.vue
index 85314e5..f0d8b55 100644
--- a/src/App.vue
+++ b/src/App.vue
@@ -68,6 +68,9 @@ addEventListener("popstate", initializeFromUrl)
 function updateUrl({ ppn } = {}) {
   const hash = window.location.hash
   const urlParams = new URLSearchParams(window.location.search)
+  if ((urlParams.get("ppn") || null) === ppn) {
+    return
+  }
   if (ppn) {
     urlParams.set("ppn", ppn)
   } else {