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: