Wed, 15 Jun 2022 11:39:14 +0200 Edouard Tisserant SVGHMI: fading page switch : defer update of classList to next animate() call when finishing transition.
Tue, 14 Jun 2022 11:56:05 +0200 Edouard Tisserant SVGHMI: rework Switch widget : detach/attach elements instead of hiding with style.display, detach all possible choices at init.
Mon, 13 Jun 2022 12:03:58 +0200 Edouard Tisserant SVGHMI: add fading transition to make page switch feel more responsive on slow machines.