# HG changeset patch
# User Edouard Tisserant
# Date 1626765165 -7200
# Node ID 71ae6f02a7fff405557eb1ea902b8dca3a9389aa
# Parent  725d3e9ac913532223b53cec3e5ac22de88ec3ea
SVGHMI: fix typo in slider widget

diff -r 725d3e9ac913 -r 71ae6f02a7ff svghmi/gen_index_xhtml.xslt
--- a/svghmi/gen_index_xhtml.xslt	Thu Jul 15 11:50:44 2021 +0200
+++ b/svghmi/gen_index_xhtml.xslt	Tue Jul 20 09:12:45 2021 +0200
@@ -6560,8 +6560,6 @@
     <xsl:text>SliderWidget</xsl:text>
     <xsl:text> extends Widget{
 </xsl:text>
-    <xsl:text>class SliderWidget extends Widget{
-</xsl:text>
     <xsl:text>    frequency = 5;
 </xsl:text>
     <xsl:text>    range = undefined;
@@ -7230,8 +7228,6 @@
 </xsl:text>
     <xsl:text>}
 </xsl:text>
-    <xsl:text>}
-</xsl:text>
   </xsl:template>
   <xsl:template match="widget[@type='Slider']" mode="widget_defs">
     <xsl:param name="hmi_element"/>
diff -r 725d3e9ac913 -r 71ae6f02a7ff svghmi/widget_slider.ysl2
--- a/svghmi/widget_slider.ysl2	Thu Jul 15 11:50:44 2021 +0200
+++ b/svghmi/widget_slider.ysl2	Tue Jul 20 09:12:45 2021 +0200
@@ -16,7 +16,6 @@
 
 widget_class("Slider")
     ||
-    class SliderWidget extends Widget{
         frequency = 5;
         range = undefined;
         handle_orig = undefined;
@@ -350,7 +349,6 @@
             }
 
         }
-    }
     ||
 
 widget_defs("Slider") {