Prevent making duplicate history entries

This commit is contained in:
blankie 2023-11-06 20:31:20 +11:00
parent e8923d3f5c
commit 2277c53956
Signed by: blankie
GPG key ID: CC15FC822C7F61F5

View file

@ -67,6 +67,5 @@ function setCurrentTab(tabber, tab, content) {
content.classList.add("wds-is-current"); content.classList.add("wds-is-current");
if (tab.dataset.hash) { if (tab.dataset.hash) {
location.hash = "#" + tab.dataset.hash; location.hash = "#" + tab.dataset.hash;
history.pushState(null, "", "#" + tab.dataset.hash);
} }
} }