svghmi/widget_switch.ysl2
branchsvghmi
changeset 2907 1695122a5e16
parent 2883 8e3d130399b0
child 2962 02ea529fd08c
--- a/svghmi/widget_switch.ysl2	Mon Mar 30 14:26:42 2020 +0200
+++ b/svghmi/widget_switch.ysl2	Tue Mar 31 13:20:15 2020 +0200
@@ -16,7 +16,7 @@
     |         // Hello Switch
     |     },
     |     choices: [
-    const "regex",!"'^(\"[^\"].*\"|\-?[0-9]+)(#.*)?$'"!;
+    const "regex",!"'^(\"[^\"].*\"|\-?[0-9]+|false|true)(#.*)?$'"!;
     foreach "$hmi_element/*[regexp:test(@inkscape:label,$regex)]" {
         const "literal", "regexp:match(@inkscape:label,$regex)[2]";
     |         {