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