Mon, 20 Jun 2022 09:19:56 +0200SVGHMI: fix Switch widget so that order of choices elements is preserved across detaching and re-attaching.
Edouard Tisserant [Mon, 20 Jun 2022 09:19:56 +0200] rev 3518
SVGHMI: fix Switch widget so that order of choices elements is preserved across detaching and re-attaching.

Wed, 15 Jun 2022 11:46:48 +0200SVGHMI: update generated xslt files
Edouard Tisserant [Wed, 15 Jun 2022 11:46:48 +0200] rev 3517
SVGHMI: update generated xslt files

Wed, 15 Jun 2022 11:43:51 +0200SVGHMI: nasty scope shadowing bug... was making funny recursion, leading to really slow interaction.
Edouard Tisserant [Wed, 15 Jun 2022 11:43:51 +0200] rev 3516
SVGHMI: nasty scope shadowing bug... was making funny recursion, leading to really slow interaction.