images/FILE.png
author Edouard Tisserant
Thu, 26 Mar 2020 13:33:20 +0100
branchsvghmi
changeset 2901 3f5194bba67d
parent 784 a1d970365e41
permissions -rw-r--r--
SVGHMI: Jump widget now make errors if path given for relative jump doesn't match target page reference path class.
784
a1d970365e41 Adding support for beremiz extensions to define custom file editors for project files
laurent
parents:
diff changeset
     1
(binary:image/png)