Fri, 27 Mar 2020 14:25:24 +0100 | Edouard Tisserant | SVGHMI: Jump widget can now display as active or inactive, if corresponfing "active" and "inactive labeled elements are provided. | changeset | files |
Thu, 26 Mar 2020 14:21:52 +0100 | Edouard Tisserant | SVGHMI: added Back widget. | changeset | files |