images/DelFont.png
author Edouard Tisserant
Wed, 06 Jul 2022 10:39:11 +0200
changeset 3535 770fcb344f50
parent 3210 0ddefd20ca2b
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.
3210
0ddefd20ca2b SVGHMI: Add font management buttons and icons, doing nothing for now
Edouard Tisserant <edouard.tisserant@gmail.com>
parents:
diff changeset
     1
(binary:image/png)