Fri, 08 Jul 2022 11:58:10 +0200SVGHMI: fix js exception because of trying to find already detached elements by id.
Edouard Tisserant [Fri, 08 Jul 2022 11:58:10 +0200] rev 3536
SVGHMI: fix js exception because of trying to find already detached elements by id.

Wed, 06 Jul 2022 10:39:11 +0200SVGHMI: better handling of page switch fade-out.
Edouard Tisserant [Wed, 06 Jul 2022 10:39:11 +0200] rev 3535
SVGHMI: better handling of page switch fade-out.

- In cases or relative jump to current page, page was keeping black after switch.
- Now keep track of undergoing page switch without comparing subscribed page to visible page.

Thu, 07 Jul 2022 21:41:35 +0200tests: nore details, please
Edouard Tisserant <edouard.tisserant@gmail.com> [Thu, 07 Jul 2022 21:41:35 +0200] rev 3534
tests: nore details, please