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