From d3312d760f20656e69a1698e44629d578f64d681 Mon Sep 17 00:00:00 2001
From: Dennis Eichhorn <spl1nes.com@googlemail.com>
Date: Mon, 22 Apr 2019 18:05:15 +0200
Subject: [PATCH] Fix bug where history is not updated due to js interference

---
 UI/GeneralUI.js | 1 +
 1 file changed, 1 insertion(+)

diff --git a/UI/GeneralUI.js b/UI/GeneralUI.js
index 5a22a08..af0e6ae 100644
--- a/UI/GeneralUI.js
+++ b/UI/GeneralUI.js
@@ -59,6 +59,7 @@ export class GeneralUI {
         for (let i = 0; i < length; ++i) {
             e[i].addEventListener('click', function(event) {
                 jsOMS.preventAll(event);
+                history.pushState(null, null, window.location);
                 window.location = UriFactory.build(this.getAttribute('data-href'));
             });
         }