images/ManageFolder.png
| author |
Edouard Tisserant |
|
Tue, 10 Mar 2020 13:57:29 +0100 |
| branch | svghmi |
| changeset 2864 |
36f78f6cfabd |
| parent 782 |
6f0e10085df9
|
| 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.
