beremiz

SVGHMI: better handling of page switch fade-out.

2022-07-06, Edouard Tisserant
770fcb344f50
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.
#
# Dockerfile for wxPython3.0 running on python2.7
#
FROM python:2.7-stretch
RUN set -xe \
&& apt-get update \
&& apt-get install -y --no-install-recommends python-wxgtk3.0 python-matplotlib \
&& apt-get install -y --no-install-recommends python-xvfbwrapper xvfb \
&& apt-get clean