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 @@ } - } -