diff -r 0ce4b50d1182 -r 0d491fada1ad svghmi/gen_index_xhtml.xslt --- a/svghmi/gen_index_xhtml.xslt Wed Mar 20 16:44:29 2024 +0100 +++ b/svghmi/gen_index_xhtml.xslt Thu Mar 28 12:04:14 2024 +0100 @@ -3305,6 +3305,34 @@ , + + class + FlatButtonWidget + extends Widget{ + + frequency = 5; + + + + + + } + + + + + + + + + /disabled + + + + + + + class PushButtonWidget @@ -7249,10 +7277,6 @@ - "active"+"inactive" labeled elements can be provided to show feedback when pressed - - - Exemples: