images/Cfile.png
author Edouard Tisserant
Fri, 27 Mar 2020 14:25:24 +0100
branchsvghmi
changeset 2903 881d0248b3ce
parent 630 91b2ae63ea3d
permissions -rw-r--r--
SVGHMI: Jump widget can now display as active or inactive, if corresponfing "active" and "inactive labeled elements are provided.
630
91b2ae63ea3d Including external tools for editing plugin informations into Beremiz window
laurent
parents:
diff changeset
     1
(binary:image/png)