equal
deleted
inserted
replaced
14 | }, |
14 | }, |
15 | init: function() { |
15 | init: function() { |
16 | // Hello Switch |
16 | // Hello Switch |
17 | }, |
17 | }, |
18 | choices: [ |
18 | choices: [ |
19 const "regex",!"'^(\"[^\"].*\"|\-?[0-9]+)(#.*)?$'"!; |
19 const "regex",!"'^(\"[^\"].*\"|\-?[0-9]+|false|true)(#.*)?$'"!; |
20 foreach "$hmi_element/*[regexp:test(@inkscape:label,$regex)]" { |
20 foreach "$hmi_element/*[regexp:test(@inkscape:label,$regex)]" { |
21 const "literal", "regexp:match(@inkscape:label,$regex)[2]"; |
21 const "literal", "regexp:match(@inkscape:label,$regex)[2]"; |
22 | { |
22 | { |
23 | elt:id("«@id»"), |
23 | elt:id("«@id»"), |
24 | style:"«@style»", |
24 | style:"«@style»", |