Edouard Tisserant [Tue, 14 Jun 2022 11:56:05 +0200] rev 3513
SVGHMI: rework Switch widget : detach/attach elements instead of hiding with style.display, detach all possible choices at init.
Edouard Tisserant [Mon, 13 Jun 2022 12:03:58 +0200] rev 3512
SVGHMI: add fading transition to make page switch feel more responsive on slow machines.