# HG changeset patch
# User Edouard Tisserant <edouard.tisserant@gmail.com>
# Date 1642578705 -3600
# Node ID 04c4835ca376ff20b3da97cf6542631ca6eafb4d
# Parent  3e162ea3c726cca3c3f524716fe108252ecf76ce
SVGHMI: Fixed support for frequency parsing in widget label

diff -r 3e162ea3c726 -r 04c4835ca376 svghmi/parse_labels.ysl2
--- a/svghmi/parse_labels.ysl2	Tue Jan 18 11:35:05 2022 +0100
+++ b/svghmi/parse_labels.ysl2	Wed Jan 19 08:51:45 2022 +0100
@@ -34,7 +34,7 @@
         otherwise value "$args";
     }
 
-    const "freq", "substring-after($typefreq,':')";
+    const "freq", "substring-after($typefreq,'|')";
 
     const "_type", "substring-before($typefreq,'|')";
     const "type" choose {
@@ -44,7 +44,7 @@
     if "$type" widget {
         attrib "id" > «$id»
         attrib "type" > «$type»
-        if "freq" attrib "frequency" > «$freq»
+        if "$freq" attrib "freq" > «$freq»
         foreach "str:split(substring-after($args, ':'), ':')" {
             arg {
                 attrib "value" > «.»
diff -r 3e162ea3c726 -r 04c4835ca376 svghmi/widgets_common.ysl2
--- a/svghmi/widgets_common.ysl2	Tue Jan 18 11:35:05 2022 +0100
+++ b/svghmi/widgets_common.ysl2	Wed Jan 19 08:51:45 2022 +0100
@@ -84,8 +84,8 @@
     }
 
     const "freq" choose {
-        when "$widget/freq"
-            > «$widget/freq»
+        when "$widget/@freq"
+            > «$widget/@freq»
         otherwise
             > undefined
     }