images/IDManager.png
author Edouard Tisserant
Fri, 06 Mar 2020 14:42:08 +0100
branchsvghmi
changeset 2860 b7650c6abeda
parent 2337 8689ce77076f
permissions -rw-r--r--
SVGHMI: more decoupling in between UI related and the rest of JS code, still in the aim of enhancing robustness under heavy load.
2337
8689ce77076f Added toolbar button to launch ID Manager dialog.
Edouard Tisserant
parents:
diff changeset
     1
(binary:image/png)