Thu, 19 Mar 2020 11:32:20 +0100 | Edouard Tisserant | SVGHMI: Exclude (again) sub-widgets of forEach widget from page-switch managed widget. | changeset | files |
Thu, 19 Mar 2020 09:57:26 +0100 | Edouard Tisserant | SVGHMI: cosmetic changes | changeset | files |