From fc0c82169027787080ca84c768b184b0c21d978e Mon Sep 17 00:00:00 2001
From: Michael Leuschel <leuschel@uni-duesseldorf.de>
Date: Tue, 26 Apr 2022 18:16:42 +0200
Subject: [PATCH] update button.json to avoid warning in VisB

Signed-off-by: Michael Leuschel <leuschel@uni-duesseldorf.de>
---
 Button/button.json | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/Button/button.json b/Button/button.json
index 140510b..e723b29 100644
--- a/Button/button.json
+++ b/Button/button.json
@@ -11,7 +11,8 @@
       "id": "button",
       "attr": "stroke-width",
       "value": "IF ENABLED(\"press_button\") THEN 6 ELSE 1 END",
-      "ignore": "is now used in hover below"
+      "ignore": "true",
+      "comment": "stroke-width is now used in hover below"
     }
   ],
   "events": [
-- 
GitLab