--- 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"/>

--- 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") {