From 4dd8dd948e5dd10e0235f8bbcc4349c82146243c Mon Sep 17 00:00:00 2001
From: WithoutPants <53250216+WithoutPants@users.noreply.github.com>
Date: Mon, 30 Sep 2024 16:44:59 +1000
Subject: [PATCH] Refresh URL if random seed set (#5319)

---
 ui/v2.5/src/components/List/util.ts | 15 ++++++++++++++-
 1 file changed, 14 insertions(+), 1 deletion(-)

diff --git a/ui/v2.5/src/components/List/util.ts b/ui/v2.5/src/components/List/util.ts
index 280a65e75..c28a9d2a9 100644
--- a/ui/v2.5/src/components/List/util.ts
+++ b/ui/v2.5/src/components/List/util.ts
@@ -57,12 +57,25 @@ export function useFilterURL(
       let newFilter = prevFilter.empty();
       newFilter.configureFromQueryString(location.search);
       if (!isEqual(newFilter, prevFilter)) {
+        // filter may have changed if random seed was set, update the URL
+        const newParams = newFilter.makeQueryParameters();
+        if (newParams !== location.search) {
+          history.replace({ ...history.location, search: newParams });
+        }
+
         return newFilter;
       } else {
         return prevFilter;
       }
     });
-  }, [active, location.search, defaultFilter, setFilter, updateFilter]);
+  }, [
+    active,
+    location.search,
+    defaultFilter,
+    setFilter,
+    updateFilter,
+    history,
+  ]);
 
   return { setFilter: updateFilter };
 }