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

Purpose is to allow expedited test termination.
2337
8689ce77076f Added toolbar button to launch ID Manager dialog.
Edouard Tisserant
parents:
diff changeset
     1
(binary:image/png)