Merge branch 'master' of...

Merge branch 'master' of https://gitlab.cs.uni-duesseldorf.de/general/stups/visb-visualisation-examples

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": [