images/IDManager.png
author Edouard Tisserant
Thu, 26 Mar 2020 13:33:20 +0100
branchsvghmi
changeset 2901 3f5194bba67d
parent 2337 8689ce77076f
permissions -rw-r--r--
SVGHMI: Jump widget now make errors if path given for relative jump doesn't match target page reference path class.
2337
8689ce77076f Added toolbar button to launch ID Manager dialog.
Edouard Tisserant
parents:
diff changeset
     1
(binary:image/png)