images/IDManager.png
author Edouard Tisserant <edouard.tisserant@gmail.com>
Tue, 29 Mar 2022 08:19:46 +0200
branchwxPython4
changeset 3444 91b2c014494e
parent 2337 8689ce77076f
permissions -rw-r--r--
IDE: in case of unhandled exception, write bug report to given log file, so that test report can have it.
2337
8689ce77076f Added toolbar button to launch ID Manager dialog.
Edouard Tisserant
parents:
diff changeset
     1
(binary:image/png)