py_ext/README
author Edouard Tisserant
Thu, 05 May 2022 10:35:29 +0200
changeset 3453 e5967a2ae2bb
parent 721 ecf4d203c4d4
permissions -rw-r--r--
SVGHMI: allow widgets to disable clipping on variables given with min and max. Setting this.clip = false disables clipping.
668
048f5a923c86 Better name for python plugin
Edouard Tisserant
parents: 366
diff changeset
     1
Asynchronous Python Interpreter