--- a/svghmi/widget_button.ysl2 Wed Jan 19 08:56:16 2022 +0100
+++ b/svghmi/widget_button.ysl2 Wed Jan 19 11:41:04 2022 +0100
@@ -163,7 +163,6 @@
function "generated_button_class" {
param "fsm";
- | frequency = 5;
| display = "inactive";
| state = "init";
@@ -202,6 +201,7 @@
widget_class("Button"){
+ | frequency = 5;
const "fsm","exsl:node-set($_button_fsm)";
call "generated_button_class" with "fsm", "$fsm";
}
@@ -211,6 +211,7 @@
}
widget_class("PushButton"){
+ | frequency = 20;
const "fsm","exsl:node-set($_push_button_fsm)";
call "generated_button_class" with "fsm", "$fsm";
}