From f9570ef2d0cdc680cd10f7a7ea1bc92a95b05d50 Mon Sep 17 00:00:00 2001
From: Michael Leuschel <leuschel@uni-duesseldorf.de>
Date: Tue, 1 Aug 2023 09:43:50 +0200
Subject: [PATCH] add VISB_SVG_EVENTS definition to button_def
Signed-off-by: Michael Leuschel <leuschel@uni-duesseldorf.de>
---
Button/button_def.mch | 5 +++--
1 file changed, 3 insertions(+), 2 deletions(-)
diff --git a/Button/button_def.mch b/Button/button_def.mch
index 1f348a1..8a7baca 100644
--- a/Button/button_def.mch
+++ b/Button/button_def.mch
@@ -8,12 +8,13 @@ DEFINITIONS
VISB_SVG_UPDATES == rec(`id`:"button",
fill: IF button=TRUE THEN "green" ELSE "red" END);
VISB_SVG_HOVERS == rec(`id`:"button",
- stroke:"gray", `stroke-width`:"5")
+ stroke:"gray", `stroke-width`:"5");
+ VISB_SVG_EVENTS == rec(`id`:"button", event:"toggle_button", predicate:"btrue");
VARIABLES button
INVARIANT button:BOOL
INITIALISATION button := FALSE
OPERATIONS
- toggle_button = BEGIN
+ toggle_button /* desc change status of button */ = BEGIN
button:= bool(button=FALSE)
END
END
\ No newline at end of file
--
GitLab