beremiz

Parents 0d5bb9038e5b
Children 6ef4ffcf9761
SVGHMI: fix dropdown widget in case it is used as language selection widget

global i18n definitions changed but widget wasn't updated accordingly.
--- a/svghmi/widget_dropdown.ysl2 Wed May 25 09:52:50 2022 +0200
+++ b/svghmi/widget_dropdown.ysl2 Wed May 25 09:55:36 2022 +0200
@@ -374,7 +374,7 @@
// special case when used for language selection
when "count(arg) = 1 and arg[1]/@value = '#langs'" {
| this.text_elt = id("«$text_elt/@id»");
- | this.content = langs;
+ | this.content = langs.map(([lname,lcode]) => lname);
}
when "count(arg) = 0"{
if "not($text_elt[self::svg:use])"