equal
deleted
inserted
replaced
82 } |
82 } |
83 if "position()!=last()" > , |
83 if "position()!=last()" > , |
84 } |
84 } |
85 |
85 |
86 const "freq" choose { |
86 const "freq" choose { |
87 when "$widget/freq" |
87 when "$widget/@freq" |
88 > «$widget/freq» |
88 > «$widget/@freq» |
89 otherwise |
89 otherwise |
90 > undefined |
90 > undefined |
91 } |
91 } |
92 |
92 |
93 | "«@id»": new «$widget/@type»Widget ("«@id»",«$freq»,[«$args»],[«$indexes»],[«$minmaxes»],{ |
93 | "«@id»": new «$widget/@type»Widget ("«@id»",«$freq»,[«$args»],[«$indexes»],[«$minmaxes»],{ |