images/Disconnect.png
author Edouard Tisserant
Wed, 30 Oct 2019 15:17:05 +0100
branchsvghmi
changeset 2811 4a81cec5f786
parent 533 25437efb7ae4
child 3568 494c90b895ad
permissions -rw-r--r--
SVGHMI - prepare page with cached data when switching. This prevents values that do not change and that was already subscribed in previous page from keeping undefined.
533
25437efb7ae4 Christmas 2009 release
Edouard TISSERANT <edouard.tisserant@gmail.com>
parents: 203
diff changeset
     1
(binary:image/png)