diff options
| author | Charles Lombardo <clombardo169@gmail.com> | 2023-06-11 16:52:50 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-06-11 16:52:50 -0400 |
| commit | 8db5775a1bfbeb09fc06870501a424331b8dfdae (patch) | |
| tree | 40081427778706a5a50ef4211a0569ce50b92c7a /Source/Android/app/src/main/java | |
| parent | 5c0581e99057bca1d298861593c1d62333d95ace (diff) | |
| parent | fee86e853626f807181dae6cf7ac37b55aacb25d (diff) | |
Merge pull request #11927 from JosJuice/android-custom-file-extension-locale
Android: Check file name extensions locale-independently
Diffstat (limited to 'Source/Android/app/src/main/java')
| -rw-r--r-- | Source/Android/app/src/main/java/org/dolphinemu/dolphinemu/fragments/CustomFilePickerFragment.kt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/Android/app/src/main/java/org/dolphinemu/dolphinemu/fragments/CustomFilePickerFragment.kt b/Source/Android/app/src/main/java/org/dolphinemu/dolphinemu/fragments/CustomFilePickerFragment.kt index aa74fb6f8a..16059d5f4b 100644 --- a/Source/Android/app/src/main/java/org/dolphinemu/dolphinemu/fragments/CustomFilePickerFragment.kt +++ b/Source/Android/app/src/main/java/org/dolphinemu/dolphinemu/fragments/CustomFilePickerFragment.kt @@ -51,7 +51,7 @@ class CustomFilePickerFragment : FilePickerFragment() { // files if the files don't show up in the file picker when mode == MODE_DIR. // To avoid this, show files even when the user needs to select a directory. return (showHiddenItems || !file.isHidden) && - (file.isDirectory || extensions!!.contains(fileExtension(file.name).lowercase(Locale.getDefault()))) + (file.isDirectory || extensions!!.contains(fileExtension(file.name).lowercase(Locale.ENGLISH))) } override fun isCheckable(file: File): Boolean { |