--- a/svghmi/gen_index_xhtml.xslt	Sun Mar 29 16:11:21 2020 +0200
+++ b/svghmi/gen_index_xhtml.xslt	Mon Mar 30 11:06:12 2020 +0200
@@ -1903,6 +1903,10 @@
 </xsl:text>
     <xsl:text>    jump_history.push([page_name, page_index]);
 </xsl:text>
+    <xsl:text>    if(jump_history.length &gt; 4)
+</xsl:text>
+    <xsl:text>        jump_history.shift();
+</xsl:text>
     <xsl:text>
 </xsl:text>
     <xsl:text>    return true;