equal
deleted
inserted
replaced
372 | init_specific: function() { |
372 | init_specific: function() { |
373 choose{ |
373 choose{ |
374 // special case when used for language selection |
374 // special case when used for language selection |
375 when "count(arg) = 1 and arg[1]/@value = '#langs'" { |
375 when "count(arg) = 1 and arg[1]/@value = '#langs'" { |
376 | this.text_elt = id("«$text_elt/@id»"); |
376 | this.text_elt = id("«$text_elt/@id»"); |
377 | this.content = langs; |
377 | this.content = langs.map(([lname,lcode]) => lname); |
378 } |
378 } |
379 when "count(arg) = 0"{ |
379 when "count(arg) = 0"{ |
380 if "not($text_elt[self::svg:use])" |
380 if "not($text_elt[self::svg:use])" |
381 error > No argrument for HMI:DropDown widget id="«$hmi_element/@id»" and "text" labeled element is not a svg:use element |
381 error > No argrument for HMI:DropDown widget id="«$hmi_element/@id»" and "text" labeled element is not a svg:use element |
382 const "real_text_elt","$result_widgets[@id = $hmi_element/@id]//*[@original=$text_elt/@id]/svg:text"; |
382 const "real_text_elt","$result_widgets[@id = $hmi_element/@id]//*[@original=$text_elt/@id]/svg:text"; |