images/IDManager.png
author Edouard Tisserant
Wed, 30 Oct 2019 15:17:05 +0100
branchsvghmi
changeset 2811 4a81cec5f786
parent 2337 8689ce77076f
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.
2337
8689ce77076f Added toolbar button to launch ID Manager dialog.
Edouard Tisserant
parents:
diff changeset
     1
(binary:image/png)