Wed, 15 Jun 2022 11:39:14 +0200SVGHMI: fading page switch : defer update of classList to next animate() call when finishing transition.
Edouard Tisserant [Wed, 15 Jun 2022 11:39:14 +0200] rev 3514
SVGHMI: fading page switch : defer update of classList to next animate() call when finishing transition.

classList update was happening in the same call as switch_page(), but this call is not meant to do any change in the DOM. This was triggering unwanted style and layout recomputation.

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.

Mon, 13 Jun 2022 12:03:58 +0200SVGHMI: add fading transition to make page switch feel more responsive on slow machines.
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.