From 00e19d76e20a69fe0341983d166c7d52d511459b Mon Sep 17 00:00:00 2001
From: laurentheirendt <laurent.heirendt@uni.lu>
Date: Fri, 19 Jun 2020 17:43:27 +0200
Subject: [PATCH] suggestion for timeout

---
 assets/js/router.js | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/assets/js/router.js b/assets/js/router.js
index 7bc8757c..bab8d472 100644
--- a/assets/js/router.js
+++ b/assets/js/router.js
@@ -24,7 +24,9 @@ function GetShortcutDestination() {
 }
 
 function RedirectTo(newLocation) {
-    document.location.replace(newLocation);
+    setTimeout(function() {
+        window.location.assign(newLocation);
+    }, 1);
 }
 
 // Pick the shortcut link destination from URL, like: `category:subcategory:card-name`
-- 
GitLab