equal
deleted
inserted
replaced
11 // path value=".path1" index=".path1" min="path1min" max="path1max" type="PAGE_LOCAL"; |
11 // path value=".path1" index=".path1" min="path1min" max="path1max" type="PAGE_LOCAL"; |
12 // path value="/path1" index="348" type="HMI_INT"; |
12 // path value="/path1" index="348" type="HMI_INT"; |
13 // path value="path4" index="path4" type="HMI_LOCAL"; |
13 // path value="path4" index="path4" type="HMI_LOCAL"; |
14 // } |
14 // } |
15 // |
15 // |
16 const "pathregex",!"'^([^\[,]+)(\[[^\]]+\])?([\d,]*)$'"!; |
16 const "pathregex",!"'^([^\[,]+)(\[[^\]]+\])?([-.\d,]*)$'"!; |
17 |
17 |
18 template "*", mode="parselabel" |
18 template "*", mode="parselabel" |
19 { |
19 { |
20 const "label","@inkscape:label"; |
20 const "label","@inkscape:label"; |
21 const "id","@id"; |
21 const "id","@id"; |