From 3d93f179b61c10106638b0f57f81880d5269c9a6 Mon Sep 17 00:00:00 2001
From: Camillo Bruni <camillobruni@users.noreply.github.com>
Date: Thu, 25 Jan 2024 10:21:12 +0100
Subject: [PATCH] Fix navigation for Firefox (#353)

Refreshing the page with results and a #summary hash breaks on Firefox.
Explicitly setting the #home has a workaround cleanly shows the main page again.
---
 resources/main.mjs | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/resources/main.mjs b/resources/main.mjs
index 9d0b91d8b..bdfdb8cb6 100644
--- a/resources/main.mjs
+++ b/resources/main.mjs
@@ -348,10 +348,12 @@ class MainBenchmarkClient {
     }
 
     _setLocationHash(hash) {
-        if (hash === "#home" || hash === "")
+        if (hash === "#home" || hash === "") {
+            window.location.hash = "#home";
             this._removeLocationHash();
-        else
+        } else {
             window.location.hash = hash;
+        }
     }
 
     _removeLocationHash() {