images/Cfile.png
author Edouard Tisserant
Mon, 30 Mar 2020 14:26:42 +0200
branchsvghmi
changeset 2906 3b4a1319da09
parent 630 91b2ae63ea3d
permissions -rw-r--r--
SVGHMI: Jump widget, if it has a 'disabled' labeled element, reflects value of the pointed HMITree variable by showing this element when value is False, and behaving normaly otherwise.
630
91b2ae63ea3d Including external tools for editing plugin informations into Beremiz window
laurent
parents:
diff changeset
     1
(binary:image/png)