images/DelFont.png
author Edouard Tisserant <edouard.tisserant@gmail.com>
Tue, 07 Sep 2021 09:08:40 +0200
changeset 3345 574782d2be1d
parent 3210 0ddefd20ca2b
permissions -rw-r--r--
Runtime: avoids using "pipe to self" bailout unblocking trick on windows, since select() only takes sockets.
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)