[Denemo-devel] Overwriting existing pdf/png files.

[Richard Shann]

The export pdf/png routines warn if you try to overwrite only if you
give the full name with extension. You can overwrite MyFile.pdf by
giving MyFile as the name - Denemo adds the .pdf extension but does not
check. This is a mess to fix at present, as the list checked is only
used for synchronous export (the .ly and .midi etc), and can't have .pdf
or .png in it as these are async.
sigh!
Richard