equal
deleted
inserted
replaced
71 // |
71 // |
72 // Into: |
72 // Into: |
73 // widget type="WidgetType" id="blah456" { |
73 // widget type="WidgetType" id="blah456" { |
74 // arg value="param1"; |
74 // arg value="param1"; |
75 // arg value="param2"; |
75 // arg value="param2"; |
76 // path value="path1" index="345"; |
76 // path value=".path1" index=".path1" type="PAGE_LOCAL"; |
77 // path value="path2"; |
77 // path value="/path1" index="348" type="HMI_INT"; |
|
78 // path value="path4" index="path4" type="HMI_LOCAL"; |
78 // } |
79 // } |
79 // |
80 // |
80 template "*", mode="parselabel" { |
81 template "*", mode="parselabel" { |
81 const "label","@inkscape:label"; |
82 const "label","@inkscape:label"; |
82 const "description", "substring-after($label,'HMI:')"; |
83 const "description", "substring-after($label,'HMI:')"; |