Mon, 17 May 2021 08:52:38 +0200SVGHMI: Fix behaviour of Jump widget, that wasn't displaying "disabled" state in some cases. svghmi
Edouard Tisserant [Mon, 17 May 2021 08:52:38 +0200] rev 3240
SVGHMI: Fix behaviour of Jump widget, that wasn't displaying "disabled" state in some cases.