url is updated at most 4 times per second

frontend-js/src/main/js/GuiConnector.js

@@ -110,6 +110,15 @@ GuiConnector.prototype.init = function () {
 };
 
 
+var lastUrlUpdate = 0;
+
+function updateUrl(url) {
+  if (lastUrlUpdate + 250 < new Date().getTime()) {
+    lastUrlUpdate = new Date().getTime();
+    window.history.replaceState(null, null, url);
+  }
+}
+
 /**
  *
  * @param {string} key
@@ -131,7 +140,7 @@ GuiConnector.prototype.setUrlParam = function (key, value) {
         }
       }
     }
-    window.history.replaceState(null, null, url);
+    updateUrl(url);
   }
 };