--- 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;
};