# HG changeset patch
# User Edouard Tisserant <edouard.tisserant@gmail.com>
# Date 1737392379 -3600
# Node ID b9fea435d886ce876f5cb651075e09504e5d01df
# Parent  e0c9ec66a0363c1e57898c523795a9dbeb168adb
SVGHMI: back button widget is optionally activable.
+ update generated xslt file

diff -r e0c9ec66a036 -r b9fea435d886 svghmi/gen_index_xhtml.xslt
--- a/svghmi/gen_index_xhtml.xslt	Thu Jan 09 18:21:36 2025 +0100
+++ b/svghmi/gen_index_xhtml.xslt	Mon Jan 20 17:59:39 2025 +0100
@@ -10345,8 +10345,6 @@
 </xsl:text>
           <xsl:text>        let widget = hmi_widgets[id];
 </xsl:text>
-          <xsl:text>        if(widget.curr_value != undefined) return;
-</xsl:text>
           <xsl:text>        widget.do_init();
 </xsl:text>
           <xsl:text>    });
diff -r e0c9ec66a036 -r b9fea435d886 svghmi/widget_back.ysl2
--- a/svghmi/widget_back.ysl2	Thu Jan 09 18:21:36 2025 +0100
+++ b/svghmi/widget_back.ysl2	Mon Jan 20 17:59:39 2025 +0100
@@ -44,5 +44,5 @@
 }
 
 widget_defs("Back") {
-    activable();
+    optional_activable();
 }