Fix similar 'save image' filename overwriting existing file instead of incrementing #3484
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Problem
On Windows, saving an image with a filename that already exists with a different case causes it to overwrite the existing image file instead of incrementing the name.
For example, if I first save with a filename_prefix of "abc", and then save again with "Abc", the second image will overwrite the first without warning.
Expected Behavior
The filename should increment despite the difference in case, resulting in "abc_00001_.png" and "Abc_00002_.png", because Windows's file system is case insensitive.
Solution
Add
.casefold()
to the code that counts the number of files with the same name, making it case insensitive.