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 @@
SliderWidget
extends Widget{
- class SliderWidget extends Widget{
-
frequency = 5;
range = undefined;
@@ -7230,8 +7228,6 @@
}
- }
-