From ccfed51bb426a1172ad4e342743e2814a2d11c58 Mon Sep 17 00:00:00 2001
From: Adam Bem <adam.bem@zoho.eu>
Date: Wed, 24 May 2023 11:04:26 +0200
Subject: [PATCH] URL now changed when tool is changed

---
 Frontend/assets/scripts/frame.js | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Frontend/assets/scripts/frame.js b/Frontend/assets/scripts/frame.js
index 0273163..f1d56e1 100644
--- a/Frontend/assets/scripts/frame.js
+++ b/Frontend/assets/scripts/frame.js
@@ -88,6 +88,7 @@ function changeTool(tool) {
     const url = tools.get(tool);
     localStorage.setItem("lastPage", tool);
     document.getElementById("iframe").src = url;
+    document.location.search = tool;
 }
 
 /**