branch | wxPython4 |
changeset 3665 | db7e4952b64f |
parent 3657 | e0d6f5f0dcc2 |
parent 3663 | 31aaec736e4d |
child 3688 | c2992796a859 |
--- a/svghmi/gen_index_xhtml.xslt Fri Nov 04 22:14:14 2022 +0100 +++ b/svghmi/gen_index_xhtml.xslt Wed Nov 09 12:30:45 2022 +0100 @@ -12514,12 +12514,6 @@ </xsl:text> <xsl:text> </xsl:text> - <xsl:text> // forget subscriptions remotely -</xsl:text> - <xsl:text> send_reset(); -</xsl:text> - <xsl:text> -</xsl:text> <xsl:text> // forget earlier subscriptions locally </xsl:text> <xsl:text> reset_subscription_periods();