py_ext/README
author Edouard Tisserant
Mon, 30 Mar 2020 14:26:42 +0200
branchsvghmi
changeset 2906 3b4a1319da09
parent 721 ecf4d203c4d4
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.
668
048f5a923c86 Better name for python plugin
Edouard Tisserant
parents: 366
diff changeset
     1
Asynchronous Python Interpreter