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.
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.