branch | svghmi |
changeset 2862 | a108677bd3d0 |
parent 2861 | 84c16ece8e10 |
child 2864 | 36f78f6cfabd |
--- a/svghmi/gen_index_xhtml.xslt Fri Mar 06 14:43:03 2020 +0100 +++ b/svghmi/gen_index_xhtml.xslt Mon Mar 09 13:40:45 2020 +0100 @@ -1237,8 +1237,6 @@ </xsl:text> <xsl:text> svg_root.setAttribute('viewBox',new_desc.bbox.join(" ")); </xsl:text> - <xsl:text> -</xsl:text> <xsl:text> current_page = page_name; </xsl:text> <xsl:text>