Tue, 14 Jun 2022 11:56:05 +0200SVGHMI: rework Switch widget : detach/attach elements instead of hiding with style.display, detach all possible choices at init.
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.