equal
deleted
inserted
replaced
32 const "typefreq" choose { |
32 const "typefreq" choose { |
33 when "$_typefreq" value "$_typefreq"; |
33 when "$_typefreq" value "$_typefreq"; |
34 otherwise value "$args"; |
34 otherwise value "$args"; |
35 } |
35 } |
36 |
36 |
37 const "freq", "substring-after($typefreq,':')"; |
37 const "freq", "substring-after($typefreq,'|')"; |
38 |
38 |
39 const "_type", "substring-before($typefreq,'|')"; |
39 const "_type", "substring-before($typefreq,'|')"; |
40 const "type" choose { |
40 const "type" choose { |
41 when "$_type" value "$_type"; |
41 when "$_type" value "$_type"; |
42 otherwise value "$typefreq"; |
42 otherwise value "$typefreq"; |
43 } |
43 } |
44 if "$type" widget { |
44 if "$type" widget { |
45 attrib "id" > «$id» |
45 attrib "id" > «$id» |
46 attrib "type" > «$type» |
46 attrib "type" > «$type» |
47 if "freq" attrib "frequency" > «$freq» |
47 if "$freq" attrib "freq" > «$freq» |
48 foreach "str:split(substring-after($args, ':'), ':')" { |
48 foreach "str:split(substring-after($args, ':'), ':')" { |
49 arg { |
49 arg { |
50 attrib "value" > «.» |
50 attrib "value" > «.» |
51 } |
51 } |
52 } |
52 } |