images/FILE.png
author Edouard Tisserant
Fri, 27 Mar 2020 14:25:24 +0100
branchsvghmi
changeset 2903 881d0248b3ce
parent 784 a1d970365e41
permissions -rw-r--r--
SVGHMI: Jump widget can now display as active or inactive, if corresponfing "active" and "inactive labeled elements are provided.
784
a1d970365e41 Adding support for beremiz extensions to define custom file editors for project files
laurent
parents:
diff changeset
     1
(binary:image/png)