editors/__init__.py
author Edouard Tisserant
Wed, 05 Dec 2018 13:05:51 +0100
changeset 2467 fce6ab7ae156
parent 814 5743cbdff669
permissions -rw-r--r--
Enure that autostart blocks other @RunInMain PLCObject methods, and _unblocks_ them once autostart is done...