diff -r 92d115d8828d -r 3d7e3866cc51 svghmi/svghmi.js
--- a/svghmi/svghmi.js	Sun Mar 29 16:11:21 2020 +0200
+++ b/svghmi/svghmi.js	Mon Mar 30 11:06:12 2020 +0200
@@ -313,6 +313,8 @@
     requestHMIAnimation();
 
     jump_history.push([page_name, page_index]);
+    if(jump_history.length > 42)
+        jump_history.shift();
 
     return true;
 };