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.