Prevent making duplicate history entries

This commit is contained in:
blankie 2023-11-06 20:31:20 +11:00
parent f5399524b1
commit dcb8a8a590
Signed by untrusted user: blankie
GPG key ID: CC15FC822C7F61F5

View file

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