mirror of
https://github.com/cookiengineer/audacity
synced 2026-03-09 16:05:39 +01:00
53a8b44f1d
... but there is this consequence: If you do type an explicit extension, which is one of the acceptable extensions though different from the "Header:" chocie, then it is also corrected, silently. This behavior is different from other cases where the user types an inappropriate explicit extension and is prompted to fix it.