Attachment #335
file dialog, filename extension, * instead of *.vcd for VCD image/png 2017-09-17 18:48:49 CEST 8.44 KB no flags Details
Attachment #336
file dialog, filename extension, *.sr (good) for srzip image/png 2017-09-17 18:51:25 CEST 7.78 KB no flags Details