Refresh URL if random seed set (#5319)

This commit is contained in:
WithoutPants
2024-09-30 16:44:59 +10:00
committed by GitHub
parent e253ba71f8
commit 4dd8dd948e

View File

@@ -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 };
}