Sun, 10 May 2020 23:40:43 +0200 | Edouard Tisserant | SVGHMI: Exclude non-widget HMI:* labeled elements from hmi_widget. Namely : HMI:Page HMI:Lang and HMI:List have been excluded. | changeset | files |
Sun, 10 May 2020 17:01:09 +0200 | Edouard Tisserant | SVGHMI: clean up dead code, update generated xslt. | changeset | files |
Sun, 10 May 2020 16:36:41 +0200 | Edouard Tisserant | SVGHMI: apply per class overloading of sub/unsub to Jump widget | changeset | files |
Sun, 10 May 2020 16:36:09 +0200 | Edouard Tisserant | SVGHMI: apply per class overloading of sub/unsub to ForEach widget | changeset | files |