Edouard Tisserant <edouard.tisserant@gmail.com> [Mon, 27 Jun 2022 10:26:04 +0200] rev 3526
Merge default in wxPython4 branch
Edouard Tisserant [Fri, 24 Jun 2022 14:56:44 +0200] rev 3525
SVGHMI: update generated XSLT files
Edouard Tisserant [Fri, 24 Jun 2022 10:46:26 +0200] rev 3524
SVGHMI: force initial state of Display widget to empty string.
Edouard Tisserant [Fri, 24 Jun 2022 09:24:19 +0200] rev 3523
SVGHMI: set initial displayed value of input widget to empty string.
Edouard Tisserant [Fri, 24 Jun 2022 09:21:24 +0200] rev 3522
SVGHMI: add warning_labels, same as optional_labels but emits warnings at build time if element is missing.
Edouard Tisserant [Wed, 22 Jun 2022 11:55:38 +0200] rev 3521
SVGHMI: update generated XSLT files
Edouard Tisserant [Wed, 22 Jun 2022 11:48:40 +0200] rev 3520
SVGHMI: generalize detach/re-attach of binary choices for ToggleButton, PushButton, Button and Keypad's Shit and CapsLock.
Edouard Tisserant [Mon, 20 Jun 2022 09:30:11 +0200] rev 3519
SVGHMI: also use order-preserving detach re-attach for hiding and showing active and inactive state.
Edouard Tisserant [Mon, 20 Jun 2022 09:19:56 +0200] rev 3518
SVGHMI: fix Switch widget so that order of choices elements is preserved across detaching and re-attaching.
Edouard Tisserant [Wed, 15 Jun 2022 11:46:48 +0200] rev 3517
SVGHMI: update generated xslt files
Edouard Tisserant [Wed, 15 Jun 2022 11:43:51 +0200] rev 3516
SVGHMI: nasty scope shadowing bug... was making funny recursion, leading to really slow interaction.
Edouard Tisserant [Wed, 15 Jun 2022 11:41:59 +0200] rev 3515
SVGHMI: fading page switch : to avoid blinking, page stays black once fading finished and next page is still not ready.
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.
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.