images/IDManager.png
author Edouard Tisserant <edouard.tisserant@gmail.com>
Thu, 06 Aug 2020 14:59:04 +0200
branchsvghmi
changeset 3007 360300a8b995
parent 2337 8689ce77076f
permissions -rw-r--r--
SVGHMI : have to move some JS declarations from "preamble" to "declarations" and others from "declarations" to "definitions" section to make room for JS libraries that would be used by widget classes.
2337
8689ce77076f Added toolbar button to launch ID Manager dialog.
Edouard Tisserant
parents:
diff changeset
     1
(binary:image/png)