Tue, 18 May 2021 09:22:17 +0200SVGHMI: WIP on Widget DnD UI : Added documentation to widgets, that is injected in widget parse tree during widget analysis svghmi
Edouard Tisserant <edouard.tisserant@gmail.com> [Tue, 18 May 2021 09:22:17 +0200] rev 3241
SVGHMI: WIP on Widget DnD UI : Added documentation to widgets, that is injected in widget parse tree during widget analysis

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.

Wed, 12 May 2021 11:38:00 +0200merged default in svghmi svghmi
Edouard Tisserant [Wed, 12 May 2021 11:38:00 +0200] rev 3239
merged default in svghmi