Workaround for windows duplicate file issue #4337
Merged
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Merge of release 1.14 changes into develop
thelsing
approved these changes
Oct 20, 2023
kwvanderlinde
approved these changes
Oct 20, 2023
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
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.
Identify the Bug or Feature request
Fixes #4336
Fixes #4320
Description of the Change
Set the java.util.Arrays.useLegacyMergeSort property to true so that the legacy merge sort (which does not require a stable sort) instead of timsort is used in the swing dialog (well everywhere really).
Possible Drawbacks
Smaller arrays will be less efficient to sort, but on the plus side people experiencing this issue will be able to save and load. When its fixed in the JDK we can easily revert this change.
Documentation Notes
Work around for error encountered when you have two files with same name in windows (happens with dropbox, google drive, mega drive etc...)
Release Notes
This change is