images/FILE.png
author Edouard Tisserant
Wed, 06 Jul 2022 10:39:11 +0200
changeset 3535 770fcb344f50
parent 784 a1d970365e41
permissions -rw-r--r--
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.
784
a1d970365e41 Adding support for beremiz extensions to define custom file editors for project files
laurent
parents:
diff changeset
     1
(binary:image/png)