Default png filename

52 views
Skip to first unread message

Adam

unread,
Aug 6, 2020, 7:32:32 PM8/6/20
to WaveDrom
Just tried this software - it is excellent.
Minor point for improvement:
I did a file save as to save the json file - then I did export to png - I would expect the default name for the filename.png to be the same as the name used to save the json file.
Reply all
Reply to author
Forward
0 new messages