images/splash.png
author Edouard Tisserant
Tue, 10 Mar 2020 13:57:29 +0100
branchsvghmi
changeset 2864 36f78f6cfabd
parent 809 b86b8898fd52
child 968 eee7625de1f7
child 1641 24168e52fc2b
child 3568 494c90b895ad
permissions -rw-r--r--
SVGHMI: split page switch into switching subscription and switching elements in the DOM, to ensure that subscriptions have been send before changing DOM, and avoid some flicker.
809
b86b8898fd52 Stripped out splash screen version information
Edouard Tisserant
parents: 711
diff changeset
     1
(binary:image/png)