images/FILE.png
author Edouard Tisserant <edouard.tisserant@gmail.com>
Sun, 01 Jan 2023 22:33:29 +0100
branchwxPython4
changeset 3712 cea2005bf2c9
parent 784 a1d970365e41
permissions -rw-r--r--
IDE: When receiving SIGTERM signal, kill runtime befor bailing out without saving.

Purpose is to allow expedited test termination.
784
a1d970365e41 Adding support for beremiz extensions to define custom file editors for project files
laurent
parents:
diff changeset
     1
(binary:image/png)