images/AddFont.png
author Edouard Tisserant <edouard.tisserant@gmail.com>
Sun, 01 Jan 2023 22:39:41 +0100
branchwxPython4
changeset 3713 cf7c91183995
parent 3210 0ddefd20ca2b
permissions -rw-r--r--
Tests: use expedited termination of IDE with SIGTERM instead of normal close

Work around test not finishing when IDE ask for confirmation on exit when
project is modified.
3210
0ddefd20ca2b SVGHMI: Add font management buttons and icons, doing nothing for now
Edouard Tisserant <edouard.tisserant@gmail.com>
parents:
diff changeset
     1
(binary:image/png)