Mon, 17 May 2021 08:52:38 +0200 Edouard Tisserant SVGHMI: Fix behaviour of Jump widget, that wasn't displaying "disabled" state in some cases. svghmi
Wed, 12 May 2021 11:38:00 +0200 Edouard Tisserant merged default in svghmi svghmi
Mon, 03 May 2021 00:14:38 +0200 Edouard Tisserant SVGHMI: updating generated XSLT svghmi