Fri, 13 Mar 2020 21:42:40 +0100 | Edouard Tisserant | SVGHMI: relative pages and page jumps | changeset | files |
Fri, 13 Mar 2020 10:36:13 +0100 | Edouard Tisserant | SVGHMI: take care of path given in HMI:Page and HMI:Jump, but do not apply subscription offset for now. Intermediate commit in a "working" state. | changeset | files |
Thu, 12 Mar 2020 13:16:18 +0100 | Edouard Tisserant | SVGHMI: significant whitespace changes | changeset | files |
Thu, 12 Mar 2020 13:15:54 +0100 | Edouard Tisserant | SVGHMI: unsignificant changes or changes in generated code | changeset | files |