images/Repair.png
| author |
Edouard Tisserant |
|
Tue, 10 Mar 2020 13:57:29 +0100 |
| branch | svghmi |
| changeset 2864 |
36f78f6cfabd |
| parent 2599 |
b4649f014a39
|
| 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.
|
2599
|
1 |
(binary:image/png) |
