| Fri, 21 Feb 2020 16:18:53 +0100 | Edouard Tisserant | SVGHMI: optimize browser work by hiding (display:none) pages that are not displayed. | changeset | files |
| Fri, 21 Feb 2020 16:15:33 +0100 | Edouard Tisserant | SVGHMI: Better and less verbose SVG namespace handling in XSLT transform | changeset | files |
| Mon, 17 Feb 2020 13:57:44 +0100 | Edouard Tisserant | SVGHMI: Added mostly untested switch widget | changeset | files |
| Fri, 14 Feb 2020 21:41:13 +0100 | Edouard Tisserant | SVGHMI: HMI:Page can now be a svg:g group or a svg:use clone, and included/linked widget are included in page. HMI:Jump was updated to be clickable through svg:use, to be generalized. | changeset | files |